[DHG_packages] 19/111: cryptol: Upgrading from 2.2.6 to 2.3.0

[Joachim Breitner]

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

nomeata pushed a commit to branch LTS-6
in repository DHG_packages.

commit ede4ec87a5dc208a0c188c32775f4e7fda8b99c2
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Sun May 29 11:53:31 2016 +0200

    cryptol: Upgrading from 2.2.6 to 2.3.0
---
 p/haskell-cryptol/debian/changelog |  8 ++++++--
 p/haskell-cryptol/debian/control   | 18 ++++++++++++++++++
 2 files changed, 24 insertions(+), 2 deletions(-)

diff --git a/p/haskell-cryptol/debian/changelog b/p/haskell-cryptol/debian/changelog
index be87e03..6cfa531 100644
--- a/p/haskell-cryptol/debian/changelog
+++ b/p/haskell-cryptol/debian/changelog
@@ -1,9 +1,13 @@
-haskell-cryptol (2.2.6-2) UNRELEASED; urgency=medium
+haskell-cryptol (2.3.0-1) unstable; urgency=medium
 
+  [ Dmitry Bogatov ]
   * Use secure (https) uri in Vcs-Git field in 'debian/control'
   * Bump standards version to 3.9.8 (no changes needed)
 
- -- Dmitry Bogatov <KAction at gnu.org>  Tue, 10 May 2016 09:35:04 +0300
+  [ Joachim Breitner ]
+  * New upstream release
+
+ -- Joachim Breitner <nomeata at debian.org>  Sun, 29 May 2016 11:53:31 +0200
 
 haskell-cryptol (2.2.6-1) unstable; urgency=medium
 
diff --git a/p/haskell-cryptol/debian/control b/p/haskell-cryptol/debian/control
index 4b2b16b..04a65b5 100644
--- a/p/haskell-cryptol/debian/control
+++ b/p/haskell-cryptol/debian/control
@@ -16,10 +16,17 @@ Build-Depends: debhelper (>= 9),
  libghc-async-prof,
  libghc-base-compat-dev (>= 0.6),
  libghc-base-compat-prof,
+ libghc-deepseq-generics-dev (>= 0.1),
+ libghc-deepseq-generics-dev (<< 0.2),
+ libghc-deepseq-generics-prof,
+ libghc-generic-trie-dev (>= 0.3.0.1),
+ libghc-generic-trie-prof,
  libghc-gitrev-dev (>= 1.0),
  libghc-gitrev-prof,
  libghc-heredoc-dev (>= 0.2),
  libghc-heredoc-prof,
+ libghc-monad-control-dev (>= 1.0),
+ libghc-monad-control-prof,
  libghc-monadlib-dev (>= 3.7.2),
  libghc-monadlib-prof,
  libghc-old-time-dev (>= 1.1),
@@ -30,6 +37,8 @@ Build-Depends: debhelper (>= 9),
  libghc-random-prof,
  libghc-sbv-dev (>= 5.7),
  libghc-sbv-prof,
+ libghc-simple-smt-dev (>= 0.6.0),
+ libghc-simple-smt-prof,
  libghc-smtlib-dev (>= 1.0.7),
  libghc-smtlib-prof,
  libghc-syb-dev (>= 0.4),
@@ -38,11 +47,15 @@ Build-Depends: debhelper (>= 9),
  libghc-text-prof,
  libghc-tf-random-dev (>= 0.5),
  libghc-tf-random-prof,
+ libghc-transformers-base-dev (>= 0.4),
+ libghc-transformers-base-prof,
  libghc-utf8-string-dev (>= 0.3),
  libghc-utf8-string-prof,
  alex,
  happy,
  libghc-ansi-terminal-dev,
+ libghc-base-compat-dev,
+ libghc-monad-control-dev,
  libghc-monadlib-dev,
  libghc-random-dev,
  libghc-sbv-dev,
@@ -52,17 +65,22 @@ Build-Depends-Indep: ghc-doc,
  libghc-quickcheck2-doc,
  libghc-async-doc,
  libghc-base-compat-doc,
+ libghc-deepseq-generics-doc,
+ libghc-generic-trie-doc,
  libghc-gitrev-doc,
  libghc-heredoc-doc,
+ libghc-monad-control-doc,
  libghc-monadlib-doc,
  libghc-old-time-doc,
  libghc-presburger-doc,
  libghc-random-doc,
  libghc-sbv-doc,
+ libghc-simple-smt-doc,
  libghc-smtlib-doc,
  libghc-syb-doc,
  libghc-text-doc,
  libghc-tf-random-doc,
+ libghc-transformers-base-doc,
  libghc-utf8-string-doc,
 Standards-Version: 3.9.8
 Homepage: http://www.cryptol.net/

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git