[package-plan] 01/01: Target newest cryptol because it defaults to z3 instead of cvc4 which is not yet packaged.

[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 df83f7acf004b8132438e8f4309411498dfb94d2
Author: Clint Adams <clint at debian.org>
Date:   Mon Dec 28 16:31:45 2015 -0500

    Target newest cryptol because it defaults to z3 instead of cvc4 which is not yet packaged.
---
 packages.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages.txt b/packages.txt
index 13691f5..ebdc6f3 100644
--- a/packages.txt
+++ b/packages.txt
@@ -137,7 +137,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
+cryptol 2.2.6 ahead
 cryptonite 0.6
 crypto-numbers 0.2.7
 crypto-pubkey 0.2.8
@@ -594,7 +594,7 @@ safe 0.3.9
 safecopy 0.8.6
 SafeSemaphore 0.10.1
 sandi 0.3.5
-sbv 4.4
+sbv 5.7 ahead
 scientific 0.3.4.4 notest
 SDL 0.6.5 key # dependency of raincat
 SDL-gfx 0.6.0 key # we have the rest, so why not this

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