[DHG_packages] 01/02: sbv: Upgrading from 5.11 to 5.12
Clint Adams
clint at moszumanska.debian.org
Mon Oct 17 05:31:13 UTC 2016
This is an automated email from the git hooks/post-receive script.
clint pushed a commit to branch experimental
in repository DHG_packages.
commit ed24f548d9eef9dd886be5db68759a83b8c90746
Author: Clint Adams <clint at debian.org>
Date: Fri Oct 7 23:14:03 2016 -0400
sbv: Upgrading from 5.11 to 5.12
---
p/haskell-sbv/debian/changelog | 6 ++--
p/haskell-sbv/debian/control | 65 ++++++++++++++++++++++++++----------------
2 files changed, 44 insertions(+), 27 deletions(-)
diff --git a/p/haskell-sbv/debian/changelog b/p/haskell-sbv/debian/changelog
index 8494772..6532b14 100644
--- a/p/haskell-sbv/debian/changelog
+++ b/p/haskell-sbv/debian/changelog
@@ -1,8 +1,8 @@
-haskell-sbv (5.11-1ubuntu1) UNRELEASED; urgency=medium
+haskell-sbv (5.12-1) experimental; urgency=medium
- * Fix VCS fields
+ * New upstream version.
- -- Gianfranco Costamagna <locutusofborg at debian.org> Thu, 02 Jun 2016 18:55:34 +0200
+ -- Clint Adams <clint at debian.org> Mon, 17 Oct 2016 01:28:43 -0400
haskell-sbv (5.11-1) unstable; urgency=medium
diff --git a/p/haskell-sbv/debian/control b/p/haskell-sbv/debian/control
index 6b772cd..599bc0a 100644
--- a/p/haskell-sbv/debian/control
+++ b/p/haskell-sbv/debian/control
@@ -1,15 +1,15 @@
Source: haskell-sbv
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
-Uploaders: Clint Adams <clint at debian.org>
+Uploaders:
+ Clint Adams <clint at debian.org>,
Priority: extra
Section: haskell
-Build-Depends: debhelper (>= 9),
- haskell-devscripts (>= 0.9),
+Build-Depends:
cdbs,
- ghc,
+ debhelper (>= 9),
+ ghc (>= 8),
ghc-prof,
- libghc-quickcheck2-dev,
- libghc-quickcheck2-prof,
+ haskell-devscripts (>= 0.9),
libghc-async-dev,
libghc-async-prof,
libghc-base-compat-dev (>= 0.6),
@@ -18,28 +18,31 @@ Build-Depends: debhelper (>= 9),
libghc-cracknum-prof,
libghc-data-binary-ieee754-dev,
libghc-data-binary-ieee754-prof,
+ libghc-hunit-dev,
libghc-mtl-dev,
libghc-mtl-prof,
libghc-old-time-dev,
libghc-old-time-prof,
+ libghc-quickcheck2-dev,
+ libghc-quickcheck2-prof,
libghc-random-dev,
libghc-random-prof,
libghc-syb-dev,
libghc-syb-prof,
- libghc-hunit-dev,
-Build-Depends-Indep: ghc-doc,
- libghc-quickcheck2-doc,
+Build-Depends-Indep:
+ ghc-doc,
libghc-async-doc,
libghc-base-compat-doc,
libghc-cracknum-doc,
libghc-data-binary-ieee754-doc,
libghc-mtl-doc,
libghc-old-time-doc,
+ libghc-quickcheck2-doc,
libghc-random-doc,
libghc-syb-doc,
Standards-Version: 3.9.8
Homepage: http://leventerkok.github.com/sbv/
-Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/
+Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-sbv
Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
X-Description: symbolic Haskell theorem prover using SMT solving
Express properties about Haskell programs and automatically prove them
@@ -47,13 +50,18 @@ X-Description: symbolic Haskell theorem prover using SMT solving
Package: libghc-sbv-dev
Architecture: any
-Depends: ${haskell:Depends},
+Depends:
+ ${haskell:Depends},
${misc:Depends},
${shlibs:Depends},
-Recommends: ${haskell:Recommends},
-Suggests: ${haskell:Suggests},
-Conflicts: ${haskell:Conflicts},
-Provides: ${haskell:Provides},
+Recommends:
+ ${haskell:Recommends},
+Suggests:
+ ${haskell:Suggests},
+Conflicts:
+ ${haskell:Conflicts},
+Provides:
+ ${haskell:Provides},
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
${haskell:LongDescription}
.
@@ -61,12 +69,17 @@ Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
Package: libghc-sbv-prof
Architecture: any
-Depends: ${haskell:Depends},
+Depends:
+ ${haskell:Depends},
${misc:Depends},
-Recommends: ${haskell:Recommends},
-Suggests: ${haskell:Suggests},
-Conflicts: ${haskell:Conflicts},
-Provides: ${haskell:Provides},
+Recommends:
+ ${haskell:Recommends},
+Suggests:
+ ${haskell:Suggests},
+Conflicts:
+ ${haskell:Conflicts},
+Provides:
+ ${haskell:Provides},
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
${haskell:LongDescription}
.
@@ -75,11 +88,15 @@ Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
Package: libghc-sbv-doc
Architecture: all
Section: doc
-Depends: ${haskell:Depends},
+Depends:
+ ${haskell:Depends},
${misc:Depends},
-Recommends: ${haskell:Recommends},
-Suggests: ${haskell:Suggests},
-Conflicts: ${haskell:Conflicts},
+Recommends:
+ ${haskell:Recommends},
+Suggests:
+ ${haskell:Suggests},
+Conflicts:
+ ${haskell:Conflicts},
Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
${haskell:LongDescription}
.
--
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