Accepted agda 2.3.0.1-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 12 Mar 2012 14:12:34 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source all amd64
Version: 2.3.0.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Joachim Breitner <nomeata@debian.org>
Description:
agda - dependently typed functional programming language
agda-mode - dependently typed functional programming language — emacs mode
libghc-agda-dev - dependently typed functional programming language - development l
libghc-agda-doc - dependently typed functional programming language - documentation
Closes: 663048
Changes:
agda (2.3.0.1-1) unstable; urgency=low
.
* New upstream release, GHC-7.4.1 compatible (Closes: #663048)
Checksums-Sha1:
df533c568f743e1a16ac34d84d82224d799f22f6 2389 agda_2.3.0.1-1.dsc
9fe8bc82c1267f4974928b807a8701790a208c86 612342 agda_2.3.0.1.orig.tar.gz
a1ea896558f797922c7bba1d61588bfe1fe03745 6506 agda_2.3.0.1-1.debian.tar.gz
a4a21045a6184f0cf1af8da8382d480421661be5 1750174 libghc-agda-doc_2.3.0.1-1_all.deb
2604df5d618628959d1aba29f2253c747c309e43 45708 agda-mode_2.3.0.1-1_all.deb
ef6929b357693685794a8df599d7e74ec39dff66 12784 agda_2.3.0.1-1_all.deb
3a2d986dc48e1c2c39408845d46d63f3cd309ddb 13055986 libghc-agda-dev_2.3.0.1-1_amd64.deb
Checksums-Sha256:
1a07ca0236da960e78833ad60908b61c870ce4d84ac08f964d208def356c03c7 2389 agda_2.3.0.1-1.dsc
5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338 612342 agda_2.3.0.1.orig.tar.gz
c18bba9715b40f19e978608e7924fa50ac845837504aef0caf8767af6e71b2b8 6506 agda_2.3.0.1-1.debian.tar.gz
3ea2904a50364f1ea7df7dd49e491af349ca89084d4299a5ce7d1064743c24c0 1750174 libghc-agda-doc_2.3.0.1-1_all.deb
7141f4f57040406b0617e53cbcdd39c06de92576c1dbcc01e25bba17f0328b26 45708 agda-mode_2.3.0.1-1_all.deb
fa378c00cd29a41b3e39e700610bab43035f9dc3a4f56a3edad447678dabba0f 12784 agda_2.3.0.1-1_all.deb
3fce41ee27eb20090155efc13aaea13b0f80c99ce0e6f76d12f51341f2e66501 13055986 libghc-agda-dev_2.3.0.1-1_amd64.deb
Files:
3034d2df769f2477115989e0b3a77a3a 2389 haskell extra agda_2.3.0.1-1.dsc
3caa2466ae4f925dd37320336e2e839c 612342 haskell extra agda_2.3.0.1.orig.tar.gz
a7e404fe4d04dcfc4e56fea3a7c04204 6506 haskell extra agda_2.3.0.1-1.debian.tar.gz
a6eb3da9e794c0d8f1803a8507cffccd 1750174 doc extra libghc-agda-doc_2.3.0.1-1_all.deb
9563c64f524d065740fe0854416474e8 45708 misc extra agda-mode_2.3.0.1-1_all.deb
1c0bf8608db4d2fd09abc967b9df86d3 12784 misc extra agda_2.3.0.1-1_all.deb
70e7d0b7aae86ad17632cdaafa0ec875 13055986 haskell extra libghc-agda-dev_2.3.0.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAk9d+QYACgkQ9ijrk0dDIGwafQCeOmDgq/83tVsyjiiBL9VKOSPq
8nYAn1f6qG5lmsWAibacm+mcWJTPyZ7m
=UX/W
-----END PGP SIGNATURE-----
Accepted:
agda-mode_2.3.0.1-1_all.deb
to main/a/agda/agda-mode_2.3.0.1-1_all.deb
agda_2.3.0.1-1.debian.tar.gz
to main/a/agda/agda_2.3.0.1-1.debian.tar.gz
agda_2.3.0.1-1.dsc
to main/a/agda/agda_2.3.0.1-1.dsc
agda_2.3.0.1-1_all.deb
to main/a/agda/agda_2.3.0.1-1_all.deb
agda_2.3.0.1.orig.tar.gz
to main/a/agda/agda_2.3.0.1.orig.tar.gz
libghc-agda-dev_2.3.0.1-1_amd64.deb
to main/a/agda/libghc-agda-dev_2.3.0.1-1_amd64.deb
libghc-agda-doc_2.3.0.1-1_all.deb
to main/a/agda/libghc-agda-doc_2.3.0.1-1_all.deb