[Git][haskell-team/DHG_packages][master] cryptol: Upgrading from 2.4.0 to 2.5.0

[Clint Adams]

Clint Adams pushed to branch master at Debian Haskell Group / DHG_packages


Commits:
8f6ec37d by Clint Adams at 2018-04-09T22:48:42-04:00
cryptol: Upgrading from 2.4.0 to 2.5.0

- - - - -


2 changed files:

- p/haskell-cryptol/debian/changelog
- p/haskell-cryptol/debian/control


Changes:

=====================================
p/haskell-cryptol/debian/changelog
=====================================
--- a/p/haskell-cryptol/debian/changelog
+++ b/p/haskell-cryptol/debian/changelog
@@ -1,3 +1,9 @@
+haskell-cryptol (2.5.0-1) unstable; urgency=medium
+
+  * New upstream release
+
+ -- Clint Adams <clint at debian.org>  Mon, 09 Apr 2018 22:47:51 -0400
+
 haskell-cryptol (2.4.0-4) unstable; urgency=medium
 
   [ Ilias Tsitsimpis ]


=====================================
p/haskell-cryptol/debian/control
=====================================
--- a/p/haskell-cryptol/debian/control
+++ b/p/haskell-cryptol/debian/control
@@ -5,12 +5,10 @@ Uploaders:
 Priority: optional
 Section: haskell
 Build-Depends:
- alex,
  cdbs,
  debhelper (>= 9),
  ghc (>= 8),
  ghc-prof,
- happy,
  haskell-devscripts (>= 0.13),
  libghc-ansi-terminal-dev,
  libghc-async-dev (>= 2.0),
@@ -30,6 +28,8 @@ Build-Depends:
  libghc-monadlib-dev,
  libghc-monadlib-dev (>= 3.7.2),
  libghc-monadlib-prof,
+ libghc-mtl-dev (>= 2.2.1),
+ libghc-mtl-prof,
  libghc-old-time-dev (>= 1.1),
  libghc-old-time-prof,
  libghc-presburger-dev (>= 1.3),
@@ -39,10 +39,9 @@ Build-Depends:
  libghc-random-dev,
  libghc-random-dev (>= 1.0.1),
  libghc-random-prof,
- libghc-sbv-dev,
- libghc-sbv-dev (>= 5.12),
+ libghc-sbv-dev (>= 7.0),
  libghc-sbv-prof,
- libghc-simple-smt-dev (>= 0.6.0),
+ libghc-simple-smt-dev (>= 0.7.0),
  libghc-simple-smt-prof,
  libghc-smtlib-dev (>= 1.0.7),
  libghc-smtlib-prof,
@@ -57,8 +56,17 @@ Build-Depends:
  libghc-transformers-base-prof,
  libghc-utf8-string-dev (>= 0.3),
  libghc-utf8-string-prof,
-Build-Depends-Indep:
- ghc-doc,
+ alex,
+ happy,
+ libghc-ansi-terminal-dev,
+ libghc-base-compat-dev,
+ libghc-monad-control-dev,
+ libghc-monadlib-dev,
+ libghc-random-dev,
+ libghc-tf-random-dev,
+Build-Depends-Indep: ghc-doc,
+ libghc-graphscc-doc,
+ libghc-quickcheck2-doc,
  libghc-async-doc,
  libghc-base-compat-doc,
  libghc-gitrev-doc,
@@ -66,6 +74,7 @@ Build-Depends-Indep:
  libghc-heredoc-doc,
  libghc-monad-control-doc,
  libghc-monadlib-doc,
+ libghc-mtl-doc,
  libghc-old-time-doc,
  libghc-presburger-doc,
  libghc-quickcheck2-doc,



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/commit/8f6ec37d57017ef234f46ca61e5647fcf5e0ea34

---
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/commit/8f6ec37d57017ef234f46ca61e5647fcf5e0ea34
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/pkg-haskell-commits/attachments/20180410/3ea4dde6/attachment-0001.html>