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

Wed Oct 29 21:27:43 UTC 2014

Wed Oct 29 20:33:41 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:33:41 UTC 2014  Daneil Gröber <dxld at darkboxed.org>
  * Initial Check-In
diff -rN -u old-haskell-djinn-ghc/changelog new-haskell-djinn-ghc/changelog

--- old-haskell-djinn-ghc/changelog	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-ghc/changelog	2014-10-29 21:27:42.923069705 +0000
@@ -0,0 +1,5 @@
+haskell-djinn-ghc (0.0.2.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-ghc/compat new-haskell-djinn-ghc/compat
--- old-haskell-djinn-ghc/compat	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-ghc/compat	2014-10-29 21:27:42.923069705 +0000
@@ -0,0 +1 @@
+9
diff -rN -u old-haskell-djinn-ghc/control new-haskell-djinn-ghc/control
--- old-haskell-djinn-ghc/control	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-ghc/control	2014-10-29 21:27:42.923069705 +0000
@@ -0,0 +1,67 @@
+Source: haskell-djinn-ghc
+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-djinn-lib-dev
+  , libghc-async-dev
+  , libghc-mtl-prof
+  , libghc-transformers-prof
+  , libghc-djinn-lib-prof
+  , libghc-async-prof
+Build-Depends-Indep: ghc-doc
+  , libghc-mtl-doc
+  , libghc-transformers-doc
+  , libghc-djinn-lib-doc
+  , libghc-async-doc
+Standards-Version: 3.9.5
+Homepage: http://hackage.haskell.org/package/djinn-ghc
+Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-djinn-ghc
+Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-djinn-ghc
+X-Description: Generate Haskell code from a type. Bridge from Djinn to GHC API.
+ Djinn uses an theorem prover for intuitionistic propositional logic to generate
+ a Haskell expression when given a type.  This is the bridge from djinn-lib to
+ GHC API.
+
+Package: libghc-djinn-ghc-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-ghc-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-ghc-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-ghc/copyright new-haskell-djinn-ghc/copyright
--- old-haskell-djinn-ghc/copyright	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-ghc/copyright	2014-10-29 21:27:42.923069705 +0000
@@ -0,0 +1,60 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: djinn-ghc
+Upstream-Contact: Alejandro Serrano <trupill at gmail.com>
+Source: http://hackage.haskell.org/package/djinn-ghc
+
+Files: *
+Copyright: 2014 Alejandro Serrano
+
+License:
+ Copyright (c) 2014, Alejandro Serrano
+ .
+ All rights reserved.
+ .
+ Redistribution and use in source and binary forms, with or without
+ modification, are permitted provided that the following conditions are met:
+ .
+     * Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+ .
+     * 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.
+ .
+     * Neither the name of Alejandro Serrano nor the names of other
+       contributors 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 AND CONTRIBUTORS
+ "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
+ OWNER OR CONTRIBUTORS 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.
+
+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-ghc/rules new-haskell-djinn-ghc/rules
--- old-haskell-djinn-ghc/rules	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-ghc/rules	2014-10-29 21:27:42.923069705 +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-ghc/source/format new-haskell-djinn-ghc/source/format
--- old-haskell-djinn-ghc/source/format	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-ghc/source/format	2014-10-29 21:27:42.923069705 +0000
@@ -0,0 +1 @@
+3.0 (quilt)
diff -rN -u old-haskell-djinn-ghc/watch new-haskell-djinn-ghc/watch
--- old-haskell-djinn-ghc/watch	1970-01-01 00:00:00.000000000 +0000
+++ new-haskell-djinn-ghc/watch	2014-10-29 21:27:42.927069704 +0000
@@ -0,0 +1,2 @@
+version=3
+http://hackage.haskell.org/package/djinn-ghc/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))


