Commit ba7b4516 authored by Raúl Benencia's avatar Raúl Benencia Committed by Raúl Benencia

djinn: Initial Check-In

parent 56fc3143
djinn (2011.7.23-1) UNRELEASED; urgency=low
[ Raúl Benencia ]
* Initial release. (Closes: #725654)
-- Raúl Benencia <rul@kalgan.cc> Sun, 06 Oct 2013 20:11:04 -0300
Source: djinn
Section: haskell
Priority: extra
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Raúl Benencia <rul@kalgan.cc>
Build-Depends: debhelper (>= 9)
, cdbs
, haskell-devscripts (>= 0.8.15)
, ghc
, ghc-prof
, libghc-mtl-dev
, libghc-haskeline-dev
, libghc-pretty-dev
Standards-Version: 3.9.4
Homepage: http://hackage.haskell.org/package/djinn
Vcs-Darcs: http://darcs.debian.org/pkg-haskell/djinn
Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/djinn
Package: djinn
Architecture: any
Depends: ${haskell:Depends}
, ${shlibs:Depends}
, ${misc:Depends}
Recommends: ${haskell:Recommends}
Suggests: ${haskell:Suggests}
Provides: ${haskell:Provides}
Description: generate Haskell expressions from types
Djinn uses a theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type.
.
Given a type the program will deduce an expression of this type, if one
exists. If the Djinn says the type is not realizable it is because there
is no (total) expression of the given type.
Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: djinn
Upstream-Contact: Lennart Augustsson <lennart@augustsson.net>
Source: http://hackage.haskell.org/package/djinn
Files: *
Copyright: 2005 Lennart Augustsson, Thomas Johnsson
License: BSD-3-clause
Files: debian/*
Copyright: 2013 Raúl Benencia
License: BSD-3-clause
License: BSD-3-clause
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
3. None of the names of the copyright holders may be used to endorse
or promote products derived from this software without specific
prior written permission.
.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS ``AS IS'' AND ANY
EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS BE
LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
.TH DJINN 1 "October 06 2013"
.SH NAME
djinn \- generate Haskell expressions from types
.SH SYNOPSIS
.B \fBdjinn\fP [\fIOPTION\fP ... ] [\fIFILE\fP ... ]
.SH DESCRIPTION
Djinn uses a theorem prover for intuitionistic propositional logic to
generate a Haskell expression when given a type.
Given a type the program will deduce an expression of this type, if one
exists. If the Djinn says the type is not realizable it is because there is
no (total) expression of the given type.
.SH OPTIONS
.TP 20
[\-|+]multi
Print multiple solutions.
.TP
[\-|+]sorted
Sort solutions.
.TP
[\-|+]debug
Debug mode.
.SH SEE ALSO
The program provides interactive documentation.
.SH AUTHOR
.nh
\fBdjinn\fP was written by Lennart Augustsson and Thomas Johnsson.
This manual page was written by Raúl Benencia for the Debian Project.
dist-ghc/build/djinn/djinn usr/bin/
Description: Fix a FTBFS due an unused linker option.
Author: Raúl Benencia <rul@kalgan.cc>
--- a/djinn.cabal
+++ b/djinn.cabal
@@ -17,6 +17,6 @@
Hs-Source-Dirs: src
Other-modules: Help, HCheck, LJT, HTypes, LJTFormula, REPL
-ghc-options: -O2 -Wall -optl-Wl
+ghc-options: -O2 -Wall
--ghc-options: -Wall -optl-Wl
ghc-prof-options: -prof -auto-all
#!/usr/bin/make -f
include /usr/share/cdbs/1/rules/debhelper.mk
include /usr/share/cdbs/1/class/hlibrary.mk
build/djinn:: build-ghc-stamp
version=3
http://hackage.haskell.org/package/djinn/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment