[Pkg-haskell-commits] darcs: haskell-djinn-lib: Initial Check-In

Wed Oct 29 21:27:36 UTC 2014

Wed Oct 29 20:32:53 UTC 2014  Daneil Gr[_<U+00F6>_]ber <dxld at darkboxed.org>
  * Initial Check-In

    A ./changelog
    A ./compat
    A ./control
    A ./copyright
    A ./rules
    A ./source/
    A ./source/format
    A ./watch

Wed Oct 29 20:32:53 UTC 2014  Daneil Gröber <dxld at darkboxed.org>
  * Initial Check-In
diff -rN -u old-haskell-djinn-lib/changelog new-haskell-djinn-lib/changelog

--- old-haskell-djinn-lib/changelog	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-lib/changelog	2014-10-29 21:27:36.039071210 +0000
@@ -0,0 +1,5 @@
+haskell-djinn-lib (0.0.1.2-1) UNRELEASED; urgency=low
+
+  * Initial release.
+
+ -- Daniel GrÃ¶ber <dxld at darkboxed.org>  Mon, 28 Oct 2014 00:36:23 +0100
diff -rN -u old-haskell-djinn-lib/compat new-haskell-djinn-lib/compat
--- old-haskell-djinn-lib/compat	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-lib/compat	2014-10-29 21:27:36.039071210 +0000
@@ -0,0 +1 @@
+9
diff -rN -u old-haskell-djinn-lib/control new-haskell-djinn-lib/control
--- old-haskell-djinn-lib/control	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-lib/control	2014-10-29 21:27:36.043071209 +0000
@@ -0,0 +1,61 @@
+Source: haskell-djinn-lib
+Section: haskell
+Priority: extra
+Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
+Uploaders: Daniel GrÃ¶ber <dxld at darkboxed.org>
+Build-Depends: debhelper (>= 9)
+  , cdbs
+  , haskell-devscripts (>= 0.8.15)
+  , ghc
+  , ghc-prof
+  , libghc-mtl-dev
+  , libghc-transformers-dev
+  , libghc-mtl-prof
+  , libghc-transformers-prof
+Build-Depends-Indep: ghc-doc
+  , libghc-mtl-doc
+  , libghc-transformers-doc
+Standards-Version: 3.9.5
+Homepage: http://hackage.haskell.org/package/djinn-lib
+Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-djinn-lib
+Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-djinn-lib
+X-Description: Generate Haskell code from a type
+ Djinn-Lib uses an theorem prover for intuitionistic propositional logic to
+ generate a Haskell expression when given a type. This is a library extracted
+ from Djinn-Lib sources.
+
+Package: libghc-djinn-lib-dev
+Architecture: any
+Depends: ${haskell:Depends}
+  , ${shlibs:Depends}
+  , ${misc:Depends}
+Recommends: ${haskell:Recommends}
+Suggests: ${haskell:Suggests}
+Provides: ${haskell:Provides}
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
+
+Package: libghc-djinn-lib-prof
+Architecture: any
+Depends: ${haskell:Depends}
+  , ${misc:Depends}
+Recommends: ${haskell:Recommends}
+Suggests: ${haskell:Suggests}
+Provides: ${haskell:Provides}
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
+
+Package: libghc-djinn-lib-doc
+Section: doc
+Architecture: all
+Depends: ${misc:Depends}, ${haskell:Depends}
+Recommends: ${haskell:Recommends}
+Suggests: ${haskell:Suggests}
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
diff -rN -u old-haskell-djinn-lib/copyright new-haskell-djinn-lib/copyright
--- old-haskell-djinn-lib/copyright	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-lib/copyright	2014-10-29 21:27:36.043071209 +0000
@@ -0,0 +1,62 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: djinn-lib
+Upstream-Contact: Alejandro Serrano <trupill at gmail.com>
+Source: http://hackage.haskell.org/package/djinn-lib
+
+Files: *
+Copyright: 2005 Lennart Augustsson
+           2005 Thomas Johnsson
+License:
+ Copyright (c) 2005 Lennart Augustsson, Thomas Johnsson
+     Chalmers University of Technology
+ All rights reserved.
+ .
+ This code is derived from software written by Lennart Augustsson
+ (lennart at augustsson.net).
+ .
+ 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.
+ .
+ *** End of disclaimer. ***
+
+Files: debian/*
+Copyright: 2014 Daniel GrÃ¶ber <dxld at darkboxed.org>
+License: GPL-3.0+
+
+License: GPL-3.0+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+ .
+ This package is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ GNU General Public License for more details.
+ .
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <http://www.gnu.org/licenses/>.
+ .
+ On Debian systems, the complete text of the GNU General
+ Public License version 3 can be found in "/usr/share/common-licenses/GPL-3".
diff -rN -u old-haskell-djinn-lib/rules new-haskell-djinn-lib/rules
--- old-haskell-djinn-lib/rules	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-lib/rules	2014-10-29 21:27:36.043071209 +0000
@@ -0,0 +1,6 @@
+#!/usr/bin/make -f
+
+# DEB_ENABLE_TESTS = yes
+
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/hlibrary.mk
diff -rN -u old-haskell-djinn-lib/source/format new-haskell-djinn-lib/source/format
--- old-haskell-djinn-lib/source/format	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-lib/source/format	2014-10-29 21:27:36.043071209 +0000
@@ -0,0 +1 @@
+3.0 (quilt)
diff -rN -u old-haskell-djinn-lib/watch new-haskell-djinn-lib/watch
--- old-haskell-djinn-lib/watch	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-lib/watch	2014-10-29 21:27:36.043071209 +0000
@@ -0,0 +1,2 @@
+version=3
+http://hackage.haskell.org/package/djinn-lib/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))


