[Pkg-haskell-commits] [package-plan] 02/02: New packages towards Agda 2.4
Joachim Breitner
nomeata at moszumanska.debian.org
Sat Jul 26 14:16:09 UTC 2014
This is an automated email from the git hooks/post-receive script.
nomeata pushed a commit to branch master
in repository package-plan.
commit a7389b3f48400e73021367d379ef7ae00b90083d
Author: Joachim Breitner <mail at joachim-breitner.de>
Date: Sat Jul 26 16:16:06 2014 +0200
New packages towards Agda 2.4
---
packages.txt | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/packages.txt b/packages.txt
index 3b19d0b..add06fe 100644
--- a/packages.txt
+++ b/packages.txt
@@ -27,6 +27,7 @@ base64-bytestring 1.0.0.1
base-unicode-symbols 0.2.2.4
basic-prelude 0.3.8
bifunctors 4.1.1.1
+binary 0.7.2.1 notest group=new-binary
binary-communicator 1.0.2.1
binary-shared 0.8.2
bindings-DSL 1.0.21
@@ -47,6 +48,7 @@ bmp 1.2.3.4
Boolean 0.2.1
boomerang 1.4.2
BoundedChan 1.0.1.0
+boxes 0.1.3
brainfuck 0.1
byteable 0.1.1
bytedump 1.0
@@ -140,6 +142,7 @@ data-default-instances-containers 0.0.1
data-default-instances-dlist 0.0.1
data-default-instances-old-locale 0.0.1
dataenc 0.14.0.4
+data-hash 0.2.0.0
data-inttrie 0.0.8
data-lens 2.10.5
data-memocombinators 0.4.4
@@ -585,6 +588,7 @@ static-hash 0.0.1
statistics 0.10.2.0
stm 2.4.2
stm-chans 3.0.0
+STMonadTrans 0.3.2
storable-complex 0.2.1
Stream 0.4.6
streaming-commons 0.1.2.3
@@ -627,6 +631,7 @@ test-framework-th-prime 0.0.6
texmath 0.6.6.1
text 0.11.3.1 notest
text-icu 0.6.3.7
+tf-random 0.5
th-extras 0.0.0.2
th-lift 0.5.5
th-orphans 0.7.0.1
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/package-plan.git
More information about the Pkg-haskell-commits
mailing list