[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