Initial packaging of simple-smt-0.6.0

7 files changed, 116 insertions, 0 deletions

diff --git a/p/haskell-simple-smt/debian/changelog b/p/haskell-simple-smt/debian/changelog
new file mode 100644
index 000000000..dfc24d024
--- /dev/null
+++ b/p/haskell-simple-smt/debian/changelog
@@ -0,0 +1,5 @@
+haskell-simple-smt (0.6.0-1) unstable; urgency=low
+
+  * Initial release
+
+ -- Joachim Breitner <nomeata@debian.org>  Wed, 01 Jun 2016 10:28:46 +0200
diff --git a/p/haskell-simple-smt/debian/compat b/p/haskell-simple-smt/debian/compat
new file mode 100644
index 000000000..ec635144f
--- /dev/null
+++ b/p/haskell-simple-smt/debian/compat
@@ -0,0 +1 @@
+9
diff --git a/p/haskell-simple-smt/debian/control b/p/haskell-simple-smt/debian/control
new file mode 100644
index 000000000..d5567f39a
--- /dev/null
+++ b/p/haskell-simple-smt/debian/control
@@ -0,0 +1,58 @@
+Source: haskell-simple-smt
+Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
+Uploaders: Joachim Breitner <nomeata@debian.org>
+Priority: extra
+Section: haskell
+Build-Depends: debhelper (>= 9),
+ haskell-devscripts (>= 0.9),
+ cdbs,
+ ghc,
+ ghc-prof,
+Build-Depends-Indep: ghc-doc,
+Standards-Version: 3.9.6
+Homepage: http://hackage.haskell.org/package/simple-smt
+Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-simple-smt
+Vcs-Git: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git
+X-Description: A simple way to interact with an SMT solver process.
+ This package provides a simple way to interact with an SMT solver process,
+ using the SmtLib-2 format.
+
+Package: libghc-simple-smt-dev
+Architecture: any
+Depends: ${haskell:Depends},
+ ${misc:Depends},
+ ${shlibs:Depends},
+Recommends: ${haskell:Recommends},
+Suggests: ${haskell:Suggests},
+Conflicts: ${haskell:Conflicts},
+Provides: ${haskell:Provides},
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
+
+Package: libghc-simple-smt-prof
+Architecture: any
+Depends: ${haskell:Depends},
+ ${misc:Depends},
+Recommends: ${haskell:Recommends},
+Suggests: ${haskell:Suggests},
+Conflicts: ${haskell:Conflicts},
+Provides: ${haskell:Provides},
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
+
+Package: libghc-simple-smt-doc
+Architecture: all
+Section: doc
+Depends: ${haskell:Depends},
+ ${misc:Depends},
+Recommends: ${haskell:Recommends},
+Suggests: ${haskell:Suggests},
+Conflicts: ${haskell:Conflicts},
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
diff --git a/p/haskell-simple-smt/debian/copyright b/p/haskell-simple-smt/debian/copyright
new file mode 100644
index 000000000..bade4c07f
--- /dev/null
+++ b/p/haskell-simple-smt/debian/copyright
@@ -0,0 +1,42 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: simple-smt
+Upstream-Contact: iavor.diatchki@gmail.com
+Source: https://hackage.haskell.org/package/simple-smt
+
+Files: *
+Copyright: 2014, Iavor S. Diatchki
+License: BSD3
+
+Files: debian/*
+Copyright: held by the contributors mentioned in debian/changelog
+License: BSD3
+
+License: BSD3
+ 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 Iavor S. Diatchki 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.
diff --git a/p/haskell-simple-smt/debian/rules b/p/haskell-simple-smt/debian/rules
new file mode 100755
index 000000000..4e3950045
--- /dev/null
+++ b/p/haskell-simple-smt/debian/rules
@@ -0,0 +1,7 @@
+#!/usr/bin/make -f
+
+DEB_CABAL_PACKAGE = simple-smt
+DEB_DEFAULT_COMPILER = ghc
+
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/hlibrary.mk
diff --git a/p/haskell-simple-smt/debian/source/format b/p/haskell-simple-smt/debian/source/format
new file mode 100644
index 000000000..163aaf8d8
--- /dev/null
+++ b/p/haskell-simple-smt/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
diff --git a/p/haskell-simple-smt/debian/watch b/p/haskell-simple-smt/debian/watch
new file mode 100644
index 000000000..4f0dd1661
--- /dev/null
+++ b/p/haskell-simple-smt/debian/watch
@@ -0,0 +1,2 @@
+version=3
+http://hackage.haskell.org/package/simple-smt/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))