[DHG_packages] 01/02: haskell-hsmtlib: added.
Kristoffer Rose
krisrose at moszumanska.debian.org
Fri Aug 14 14:27:32 UTC 2015
This is an automated email from the git hooks/post-receive script.
krisrose pushed a commit to branch master
in repository DHG_packages.
commit 94e5ada3772a450f11a244f220681c902c3c455c
Author: Kristoffer Rose <krisrose at debian.org>
Date: Fri Aug 14 16:26:48 2015 +0200
haskell-hsmtlib: added.
---
p/haskell-hsmtlib/debian/changelog | 5 ++
p/haskell-hsmtlib/debian/compat | 1 +
p/haskell-hsmtlib/debian/control | 68 ++++++++++++++++++++++++++
p/haskell-hsmtlib/debian/copyright | 34 +++++++++++++
p/haskell-hsmtlib/debian/patches/series | 1 +
p/haskell-hsmtlib/debian/patches/version-tweak | 18 +++++++
p/haskell-hsmtlib/debian/rules | 7 +++
p/haskell-hsmtlib/debian/source/format | 1 +
p/haskell-hsmtlib/debian/watch | 2 +
9 files changed, 137 insertions(+)
diff --git a/p/haskell-hsmtlib/debian/changelog b/p/haskell-hsmtlib/debian/changelog
new file mode 100644
index 0000000..7e79caa
--- /dev/null
+++ b/p/haskell-hsmtlib/debian/changelog
@@ -0,0 +1,5 @@
+haskell-hsmtlib (0.2.0.6-1) unstable; urgency=low
+
+ * Initial release.
+
+ -- Kristoffer H Rose <krisrose at debian.org> Fri, 14 Aug 2015 16:11:40 +0200
diff --git a/p/haskell-hsmtlib/debian/compat b/p/haskell-hsmtlib/debian/compat
new file mode 100644
index 0000000..ec63514
--- /dev/null
+++ b/p/haskell-hsmtlib/debian/compat
@@ -0,0 +1 @@
+9
diff --git a/p/haskell-hsmtlib/debian/control b/p/haskell-hsmtlib/debian/control
new file mode 100644
index 0000000..5f8c1b0
--- /dev/null
+++ b/p/haskell-hsmtlib/debian/control
@@ -0,0 +1,68 @@
+Source: haskell-hsmtlib
+Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
+Uploaders: Kristoffer H Rose <krisrose at debian.org>
+Priority: extra
+Section: haskell
+Build-Depends: debhelper (>= 9),
+ haskell-devscripts (>= 0.8),
+ cdbs,
+ ghc,
+ ghc-prof,
+ libghc-parsec3-dev (>= 3.1),
+ libghc-parsec3-dev (<< 3.2),
+ libghc-parsec3-prof (>= 3.1),
+ libghc-parsec3-prof (<< 3.2),
+ libghc-smtlib-dev (>= 1.0),
+ libghc-smtlib-dev (<< 1.1),
+ libghc-smtlib-prof (>= 1.0),
+ libghc-smtlib-prof (<< 1.1),
+Build-Depends-Indep: ghc-doc,
+ libghc-parsec3-doc (>= 3) | libghc-parsec2-doc (<< 3),
+ libghc-smtlib-doc,
+Standards-Version: 3.9.6
+Homepage: https://github.com/MfesGA/Hsmtlib
+X-Description: Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
+ Hsmtl provides functions to interact with several smt solvers using SMT-LIB 2.
+ The current suported solvers are Alt-Ergo, Cvc4, MathSat, Yices, Z3.
+ Additional solvers can be used if they are SMT-LIB 2 compliant.
+ More information and tutorials can be found in <https://github.com/MfesGA/Hsmtlib>
+
+Package: libghc-hsmtlib-dev
+Architecture: any
+Depends: ${haskell:Depends},
+ ${misc:Depends},
+ ${shlibs:Depends},
+Recommends: ${haskell:Recommends},
+Suggests: ${haskell:Suggests}, cvc4 | z3 | mathsat,
+Conflicts: ${haskell:Conflicts},
+Provides: ${haskell:Provides},
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
+
+Package: libghc-hsmtlib-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-hsmtlib-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-hsmtlib/debian/copyright b/p/haskell-hsmtlib/debian/copyright
new file mode 100644
index 0000000..d14b898
--- /dev/null
+++ b/p/haskell-hsmtlib/debian/copyright
@@ -0,0 +1,34 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: Hsmtlib
+Upstream-Contact: numicola at gmail.com and rogeriop062 at gmail.com
+Source: https://hackage.haskell.org/package/Hsmtlib
+
+Files: *
+Copyright: (No copyright field in cabal file)
+License: BSD3
+
+Files: debian/*
+Copyright: held by the contributors mentioned in debian/changelog
+License: BSD3
+
+License: BSD3
+Comment: Copyright (c) 2014 Nuno Laranjo and Rogério Pontes.
+ .
+ Permission is hereby granted, free of charge, to any person obtaining
+ a copy of this software and associated documentation files (the
+ "Software"), to deal in the Software without restriction, including
+ without limitation the rights to use, copy, modify, merge, publish,
+ distribute, sublicense, and/or sell copies of the Software, and to
+ permit persons to whom the Software is furnished to do so, subject to
+ the following conditions:
+ .
+ The above copyright notice and this permission notice shall be
+ included in all copies or substantial portions of the Software.
+ .
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
+ LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
+ OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
diff --git a/p/haskell-hsmtlib/debian/patches/series b/p/haskell-hsmtlib/debian/patches/series
new file mode 100644
index 0000000..90b442e
--- /dev/null
+++ b/p/haskell-hsmtlib/debian/patches/series
@@ -0,0 +1 @@
+version-tweak
diff --git a/p/haskell-hsmtlib/debian/patches/version-tweak b/p/haskell-hsmtlib/debian/patches/version-tweak
new file mode 100644
index 0000000..fdcded6
--- /dev/null
+++ b/p/haskell-hsmtlib/debian/patches/version-tweak
@@ -0,0 +1,18 @@
+Description: Tweak upper bounds of versions to not exclude minor extensions.
+ haskell-hsmtlib (0.2.0.6-1) unstable; urgency=low
+ .
+ * Initial release.
+Author: Kristoffer H Rose <krisrose at debian.org>
+
+---
+--- haskell-hsmtlib-0.2.0.6.orig/Hsmtlib.cabal
++++ haskell-hsmtlib-0.2.0.6/Hsmtlib.cabal
+@@ -66,7 +66,7 @@ library
+ -- other-extensions:
+
+ -- Other library packages from which modules are imported.
+- build-depends: base >=4.6 && <= 4.7, smtLib >=1.0 && <1.1, containers >=0.5 && <0.6, pretty >=1.1 && <1.2, process >=1.1 && <= 1.2 , transformers >=0.3 && <0.4, parsec >=3.1 && <3.2
++ build-depends: base >=4.6 && < 4.8, smtLib >=1.0 && <1.1, containers >=0.5 && <0.6, pretty >=1.1 && <1.2, process >=1.1 && < 1.3 , transformers >=0.3 && <0.4, parsec >=3.1 && <3.2
+
+ -- Directories containing source files.
+ -- hs-source-dirs:
diff --git a/p/haskell-hsmtlib/debian/rules b/p/haskell-hsmtlib/debian/rules
new file mode 100755
index 0000000..abe9ffd
--- /dev/null
+++ b/p/haskell-hsmtlib/debian/rules
@@ -0,0 +1,7 @@
+#!/usr/bin/make -f
+
+DEB_CABAL_PACKAGE = hsmtlib
+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-hsmtlib/debian/source/format b/p/haskell-hsmtlib/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/p/haskell-hsmtlib/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
diff --git a/p/haskell-hsmtlib/debian/watch b/p/haskell-hsmtlib/debian/watch
new file mode 100644
index 0000000..c299131
--- /dev/null
+++ b/p/haskell-hsmtlib/debian/watch
@@ -0,0 +1,2 @@
+version=3
+http://hackage.haskell.org/package/Hsmtlib/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git
More information about the Pkg-haskell-commits
mailing list