[DHG_packages] 01/01: add sbv 4.4
Clint Adams
clint at moszumanska.debian.org
Tue Dec 15 19:38:09 UTC 2015
This is an automated email from the git hooks/post-receive script.
clint pushed a commit to branch master
in repository DHG_packages.
commit 0a1233361787209e362bec8aa4ee33cac0f138bf
Author: Clint Adams <clint at debian.org>
Date: Tue Dec 15 14:37:51 2015 -0500
add sbv 4.4
---
p/haskell-sbv/debian/changelog | 5 +++
p/haskell-sbv/debian/compat | 1 +
p/haskell-sbv/debian/control | 83 ++++++++++++++++++++++++++++++++++++++
p/haskell-sbv/debian/copyright | 35 ++++++++++++++++
p/haskell-sbv/debian/rules | 7 ++++
p/haskell-sbv/debian/source/format | 1 +
p/haskell-sbv/debian/watch | 2 +
7 files changed, 134 insertions(+)
diff --git a/p/haskell-sbv/debian/changelog b/p/haskell-sbv/debian/changelog
new file mode 100644
index 0000000..94978c1
--- /dev/null
+++ b/p/haskell-sbv/debian/changelog
@@ -0,0 +1,5 @@
+haskell-sbv (4.4-1) unstable; urgency=low
+
+ * Initial release.
+
+ -- Clint Adams <clint at debian.org> Tue, 15 Dec 2015 14:19:37 -0500
diff --git a/p/haskell-sbv/debian/compat b/p/haskell-sbv/debian/compat
new file mode 100644
index 0000000..ec63514
--- /dev/null
+++ b/p/haskell-sbv/debian/compat
@@ -0,0 +1 @@
+9
diff --git a/p/haskell-sbv/debian/control b/p/haskell-sbv/debian/control
new file mode 100644
index 0000000..6d77ddd
--- /dev/null
+++ b/p/haskell-sbv/debian/control
@@ -0,0 +1,83 @@
+Source: haskell-sbv
+Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
+Uploaders: Clint Adams <clint at debian.org>
+Priority: extra
+Section: haskell
+Build-Depends: debhelper (>= 9),
+ haskell-devscripts (>= 0.9),
+ cdbs,
+ ghc,
+ ghc-prof,
+ libghc-quickcheck2-dev,
+ libghc-quickcheck2-prof,
+ libghc-async-dev,
+ libghc-async-prof,
+ libghc-cracknum-dev,
+ libghc-cracknum-prof,
+ libghc-data-binary-ieee754-dev,
+ libghc-data-binary-ieee754-prof,
+ libghc-mtl-dev,
+ libghc-mtl-prof,
+ libghc-old-time-dev,
+ libghc-old-time-prof,
+ libghc-random-dev,
+ libghc-random-prof,
+ libghc-syb-dev,
+ libghc-syb-prof,
+ libghc-hunit-dev,
+Build-Depends-Indep: ghc-doc,
+ libghc-quickcheck2-doc,
+ libghc-async-doc,
+ libghc-cracknum-doc,
+ libghc-data-binary-ieee754-doc,
+ libghc-mtl-doc,
+ libghc-old-time-doc,
+ libghc-random-doc,
+ libghc-syb-doc,
+Standards-Version: 3.9.6
+Homepage: http://leventerkok.github.com/sbv/
+Vcs-Browser: http://darcs.debian.org/cgi-bin/darcsweb.cgi?r=pkg-haskell/haskell-sbv
+Vcs-Darcs: http://darcs.debian.org/pkg-haskell/haskell-sbv
+X-Description: symbolic Haskell theorem prover using SMT solving
+ Express properties about Haskell programs and automatically prove them
+ using SMT (Satisfiability Modulo Theories) solvers.
+
+Package: libghc-sbv-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-sbv-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-sbv-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-sbv/debian/copyright b/p/haskell-sbv/debian/copyright
new file mode 100644
index 0000000..40cf65f
--- /dev/null
+++ b/p/haskell-sbv/debian/copyright
@@ -0,0 +1,35 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: sbv
+Upstream-Contact: Levent Erkok (erkokl at gmail.com)
+Source: https://hackage.haskell.org/package/sbv
+
+Files: *
+Copyright: 2010-2015 Levent Erkok
+License: BSD-3-clause
+
+Files: debian/*
+Copyright: held by the contributors mentioned in debian/changelog
+License: BSD-3-clause
+
+License: BSD-3-clause
+ 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 the developer (Levent Erkok) nor the
+ names of its 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 LEVENT ERKOK 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-sbv/debian/rules b/p/haskell-sbv/debian/rules
new file mode 100755
index 0000000..f9d63ff
--- /dev/null
+++ b/p/haskell-sbv/debian/rules
@@ -0,0 +1,7 @@
+#!/usr/bin/make -f
+
+DEB_CABAL_PACKAGE = sbv
+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-sbv/debian/source/format b/p/haskell-sbv/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/p/haskell-sbv/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
diff --git a/p/haskell-sbv/debian/watch b/p/haskell-sbv/debian/watch
new file mode 100644
index 0000000..5696150
--- /dev/null
+++ b/p/haskell-sbv/debian/watch
@@ -0,0 +1,2 @@
+version=3
+http://hackage.haskell.org/package/sbv/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