[DHG_packages] 01/01: haskell-smtlib: added.

Fri Aug 14 14:08:36 UTC 2015

This is an automated email from the git hooks/post-receive script.

krisrose pushed a commit to annotated tag haskell-smtlib_v1.0.7-1
in repository DHG_packages.

commit 7226b54b7b5806f5d554d4ef90be5c9fe3deb8ad
Author: Kristoffer Rose <krisrose at debian.org>
Date:   Fri Aug 14 16:08:23 2015 +0200

    haskell-smtlib: added.
---
 p/haskell-smtlib/debian/changelog     |  5 ++++
 p/haskell-smtlib/debian/compat        |  1 +
 p/haskell-smtlib/debian/control       | 53 +++++++++++++++++++++++++++++++++++
 p/haskell-smtlib/debian/copyright     | 32 +++++++++++++++++++++
 p/haskell-smtlib/debian/rules         |  7 +++++
 p/haskell-smtlib/debian/source/format |  1 +
 p/haskell-smtlib/debian/watch         |  2 ++
 7 files changed, 101 insertions(+)

diff --git a/p/haskell-smtlib/debian/changelog b/p/haskell-smtlib/debian/changelog
new file mode 100644
index 0000000..2c7d741
--- /dev/null
+++ b/p/haskell-smtlib/debian/changelog
@@ -0,0 +1,5 @@
+haskell-smtlib (1.0.7-1) unstable; urgency=low
+
+  * Initial release.
+
+ -- Kristoffer H Rose <krisrose at debian.org>  Fri, 14 Aug 2015 15:30:06 +0200
diff --git a/p/haskell-smtlib/debian/compat b/p/haskell-smtlib/debian/compat
new file mode 100644
index 0000000..ec63514
--- /dev/null
+++ b/p/haskell-smtlib/debian/compat
@@ -0,0 +1 @@
+9
diff --git a/p/haskell-smtlib/debian/control b/p/haskell-smtlib/debian/control
new file mode 100644
index 0000000..be9aafa
--- /dev/null
+++ b/p/haskell-smtlib/debian/control
@@ -0,0 +1,53 @@
+Source: haskell-smtlib
+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,
+Build-Depends-Indep: ghc-doc,
+Standards-Version: 3.9.6
+X-Description: A library for working with the SMTLIB format.
+
+Package: libghc-smtlib-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-smtlib-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-smtlib-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-smtlib/debian/copyright b/p/haskell-smtlib/debian/copyright
new file mode 100644
index 0000000..265f47a
--- /dev/null
+++ b/p/haskell-smtlib/debian/copyright
@@ -0,0 +1,32 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: smtLib
+Upstream-Contact: iavor.diatchki at gmail.com
+Source: https://hackage.haskell.org/package/smtLib
+
+Files: *
+Copyright: 2011 Iavor S. Diatchki, Galois Inc.
+License: BSD3
+
+Files: debian/*
+Copyright: held by the contributors mentioned in debian/changelog
+License: BSD3
+
+License: BSD3
+ 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 t he 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-smtlib/debian/rules b/p/haskell-smtlib/debian/rules
new file mode 100755
index 0000000..6e89986
--- /dev/null
+++ b/p/haskell-smtlib/debian/rules
@@ -0,0 +1,7 @@
+#!/usr/bin/make -f
+
+DEB_CABAL_PACKAGE = smtlib
+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-smtlib/debian/source/format b/p/haskell-smtlib/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/p/haskell-smtlib/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
diff --git a/p/haskell-smtlib/debian/watch b/p/haskell-smtlib/debian/watch
new file mode 100644
index 0000000..30fd84a
--- /dev/null
+++ b/p/haskell-smtlib/debian/watch
@@ -0,0 +1,2 @@
+version=3
+http://hackage.haskell.org/package/smtLib/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

