[package-plan] 01/01: packages for cryptol

[Clint Adams]

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

clint pushed a commit to branch master
in repository package-plan.

commit e275dac7f8fc0fcc83201282b117d6a43aa025e6
Author: Clint Adams <clint at debian.org>
Date:   Tue Dec 15 12:51:23 2015 -0500

    packages for cryptol
---
 packages.txt | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/packages.txt b/packages.txt
index a8ca189..8d81c5f 100644
--- a/packages.txt
+++ b/packages.txt
@@ -127,6 +127,7 @@ cookie 0.4.1.6
 cpphs 1.19.3
 cprng-aes 0.6.1
 cpu 0.1.2
+crackNum 1.3
 criterion 1.1.0.0
 Crypto 4.2.5.1 key # dependency of ganeti
 crypto-api 0.13.2
@@ -137,6 +138,7 @@ crypto-cipher-types 0.0.9
 cryptohash 0.11.6
 cryptohash-conduit 0.1.1
 cryptohash-cryptoapi 0.1.3
+cryptol 2.2.5
 cryptonite 0.6
 crypto-numbers 0.2.7
 crypto-pubkey 0.2.8
@@ -266,6 +268,7 @@ GLURaw 1.5.0.1
 GLUT 2.7.0.1
 gnuidn 0.2.2
 gnutls 0.2
+GraphSCC 1.0.4
 graphviz 2999.17.0.2 notest # Disabled tests due to quickcheck dependency during 7.10 transition
 groups 0.4.0.0
 gsasl 0.3.6
@@ -309,6 +312,7 @@ hdevtools 0.1.2.1 binary
 hedgewars-server 0.1 meta key
 hedis 0.6.9 key
 heist 0.14.1.1
+heredoc 0.2.0.0
 hex 0.1.2
 hgettext 0.1.30
 hierarchical-clustering 0.4.6
@@ -455,6 +459,7 @@ MonadCatchIO-transformers 0.3.1.3
 monad-control 1.0.0.4
 monadcryptorandom 0.6.1
 monad-journal 0.7.1
+monadLib 3.7.3
 monad-logger 0.3.15
 monad-loops 0.4.3
 monad-par 0.3.4.7
@@ -538,6 +543,7 @@ polyparse 1.11
 postgresql-libpq 0.9.1.1
 postgresql-simple 0.4.10.0
 prelude-extras 0.4.0.2
+presburger 1.3.1
 prettyclass 1.0.0.0
 pretty-show 1.6.9
 primes 0.2.1.0
@@ -591,6 +597,7 @@ safe 0.3.9
 safecopy 0.8.6
 SafeSemaphore 0.10.1
 sandi 0.3.5
+sbv 4.4
 scientific 0.3.4.4 notest
 scrobble 0.2.1.1 obsolete # https://github.com/chrisdone/scrobble/issues/2
 SDL 0.6.5 key # dependency of raincat

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