haskell-djinn-ghc: Initial Check-In

7 files changed, 142 insertions, 0 deletions

diff --git a/p/haskell-djinn-ghc/debian/changelog b/p/haskell-djinn-ghc/debian/changelog
new file mode 100644
index 000000000..34dfc6c20
--- /dev/null
+++ b/p/haskell-djinn-ghc/debian/changelog
@@ -0,0 +1,5 @@
+haskell-djinn-ghc (0.0.2.2-1) UNRELEASED; urgency=low
+
+  * Initial release.
+
+ -- Daniel Gröber <dxld@darkboxed.org>  Mon, 28 Oct 2014 00:36:23 +0100
diff --git a/p/haskell-djinn-ghc/debian/compat b/p/haskell-djinn-ghc/debian/compat
new file mode 100644
index 000000000..ec635144f
--- /dev/null
+++ b/p/haskell-djinn-ghc/debian/compat
@@ -0,0 +1 @@
+9
diff --git a/p/haskell-djinn-ghc/debian/control b/p/haskell-djinn-ghc/debian/control
new file mode 100644
index 000000000..af8889613
--- /dev/null
+++ b/p/haskell-djinn-ghc/debian/control
@@ -0,0 +1,67 @@
+Source: haskell-djinn-ghc
+Section: haskell
+Priority: extra
+Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
+Uploaders: Daniel Gröber <dxld@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 --git a/p/haskell-djinn-ghc/debian/copyright b/p/haskell-djinn-ghc/debian/copyright
new file mode 100644
index 000000000..d95d28210
--- /dev/null
+++ b/p/haskell-djinn-ghc/debian/copyright
@@ -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@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@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 --git a/p/haskell-djinn-ghc/debian/rules b/p/haskell-djinn-ghc/debian/rules
new file mode 100755
index 000000000..d730346e0
--- /dev/null
+++ b/p/haskell-djinn-ghc/debian/rules
@@ -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 --git a/p/haskell-djinn-ghc/debian/source/format b/p/haskell-djinn-ghc/debian/source/format
new file mode 100644
index 000000000..163aaf8d8
--- /dev/null
+++ b/p/haskell-djinn-ghc/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
diff --git a/p/haskell-djinn-ghc/debian/watch b/p/haskell-djinn-ghc/debian/watch
new file mode 100644
index 000000000..4d6066f94
--- /dev/null
+++ b/p/haskell-djinn-ghc/debian/watch
@@ -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)))