[Pkg-haskell-commits] darcs: djinn: Initial Check-In
Raúl Benencia
rul at kalgan.cc
Mon Oct 7 03:40:44 UTC 2013
Mon Oct 7 03:38:52 UTC 2013 Ra[_<U+00FA>_]l Benencia <rul at kalgan.cc>
* Initial Check-In
A ./changelog
A ./compat
A ./control
A ./copyright
A ./djinn.1
A ./djinn.install
A ./djinn.manpages
A ./patches/
A ./patches/01-fix-ftbfs.patch
A ./patches/series
A ./rules
A ./source/
A ./source/format
A ./watch
Mon Oct 7 03:38:52 UTC 2013 Raúl Benencia <rul at kalgan.cc>
* Initial Check-In
diff -rN -u old-djinn/changelog new-djinn/changelog
--- old-djinn/changelog 1970-01-01 00:00:00.000000000 +0000
+++ new-djinn/changelog 2013-10-07 03:40:43.906543066 +0000
@@ -0,0 +1,6 @@
+djinn (2011.7.23-1) UNRELEASED; urgency=low
+
+ [ Raúl Benencia ]
+ * Initial release. (Closes: #725654)
+
+ -- Raúl Benencia <rul at kalgan.cc> Sun, 06 Oct 2013 20:11:04 -0300
diff -rN -u old-djinn/compat new-djinn/compat
--- old-djinn/compat 1970-01-01 00:00:00.000000000 +0000
+++ new-djinn/compat 2013-10-07 03:40:43.906543066 +0000
@@ -0,0 +1 @@
+9
diff -rN -u old-djinn/control new-djinn/control
--- old-djinn/control 1970-01-01 00:00:00.000000000 +0000
+++ new-djinn/control 2013-10-07 03:40:43.906543066 +0000
@@ -0,0 +1,33 @@
+Source: djinn
+Section: haskell
+Priority: extra
+Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
+Uploaders: Raúl Benencia <rul at 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.
diff -rN -u old-djinn/copyright new-djinn/copyright
--- old-djinn/copyright 1970-01-01 00:00:00.000000000 +0000
+++ new-djinn/copyright 2013-10-07 03:40:43.906543066 +0000
@@ -0,0 +1,37 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: djinn
+Upstream-Contact: Lennart Augustsson <lennart at 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.
diff -rN -u old-djinn/djinn.1 new-djinn/djinn.1
--- old-djinn/djinn.1 1970-01-01 00:00:00.000000000 +0000
+++ new-djinn/djinn.1 2013-10-07 03:40:43.910046440 +0000
@@ -0,0 +1,30 @@
+.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.
diff -rN -u old-djinn/djinn.install new-djinn/djinn.install
--- old-djinn/djinn.install 1970-01-01 00:00:00.000000000 +0000
+++ new-djinn/djinn.install 2013-10-07 03:40:43.910046440 +0000
@@ -0,0 +1 @@
+dist-ghc/build/djinn/djinn usr/bin/
diff -rN -u old-djinn/djinn.manpages new-djinn/djinn.manpages
--- old-djinn/djinn.manpages 1970-01-01 00:00:00.000000000 +0000
+++ new-djinn/djinn.manpages 2013-10-07 03:40:43.910046440 +0000
@@ -0,0 +1 @@
+debian/djinn.1
diff -rN -u old-djinn/patches/01-fix-ftbfs.patch new-djinn/patches/01-fix-ftbfs.patch
--- old-djinn/patches/01-fix-ftbfs.patch 1970-01-01 00:00:00.000000000 +0000
+++ new-djinn/patches/01-fix-ftbfs.patch 2013-10-07 03:40:43.910046440 +0000
@@ -0,0 +1,12 @@
+Description: Fix a FTBFS due an unused linker option.
+Author: Raúl Benencia <rul at 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
diff -rN -u old-djinn/patches/series new-djinn/patches/series
--- old-djinn/patches/series 1970-01-01 00:00:00.000000000 +0000
+++ new-djinn/patches/series 2013-10-07 03:40:43.910046440 +0000
@@ -0,0 +1 @@
+01-fix-ftbfs.patch
diff -rN -u old-djinn/rules new-djinn/rules
--- old-djinn/rules 1970-01-01 00:00:00.000000000 +0000
+++ new-djinn/rules 2013-10-07 03:40:43.910046440 +0000
@@ -0,0 +1,6 @@
+#!/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
diff -rN -u old-djinn/source/format new-djinn/source/format
--- old-djinn/source/format 1970-01-01 00:00:00.000000000 +0000
+++ new-djinn/source/format 2013-10-07 03:40:43.915038841 +0000
@@ -0,0 +1 @@
+3.0 (quilt)
diff -rN -u old-djinn/watch new-djinn/watch
--- old-djinn/watch 1970-01-01 00:00:00.000000000 +0000
+++ new-djinn/watch 2013-10-07 03:40:43.915038841 +0000
@@ -0,0 +1,2 @@
+version=3
+http://hackage.haskell.org/package/djinn/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))
More information about the Pkg-haskell-commits
mailing list