debian/0000755000000000000000000000000012233272173007170 5ustar debian/copyright0000644000000000000000000000337212224541445011131 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: djinn Upstream-Contact: Lennart Augustsson 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. debian/watch0000644000000000000000000000017412224541445010224 0ustar version=3 http://hackage.haskell.org/package/djinn/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz))) debian/compat0000644000000000000000000000000212224541445010367 0ustar 9 debian/djinn.10000644000000000000000000000145512224541445010362 0ustar .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. debian/patches/0000755000000000000000000000000012224541445010620 5ustar debian/patches/series0000644000000000000000000000002312224541445012030 0ustar 01-fix-ftbfs.patch debian/patches/01-fix-ftbfs.patch0000644000000000000000000000057612224541445013757 0ustar Description: Fix a FTBFS due an unused linker option. Author: Raúl Benencia --- 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 debian/control0000644000000000000000000000212612224541445010575 0ustar Source: djinn Section: haskell Priority: extra Maintainer: Debian Haskell Group Uploaders: Raúl Benencia 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. debian/rules0000755000000000000000000000021412224541445010246 0ustar #!/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 debian/djinn.haskell-binaries0000644000000000000000000000000612224541445013426 0ustar djinn debian/djinn.manpages0000644000000000000000000000001712224541445012006 0ustar debian/djinn.1 debian/changelog0000644000000000000000000000025412233272173011043 0ustar djinn (2011.7.23-1) unstable; urgency=low [ Raúl Benencia ] * Initial release. (Closes: #725654) -- Raúl Benencia Sun, 27 Oct 2013 11:45:04 -0300 debian/source/0000755000000000000000000000000012224541445010471 5ustar debian/source/format0000644000000000000000000000001412224541445011677 0ustar 3.0 (quilt)