[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