Accepted agda 2.2.10-3 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 17 Jun 2011 10:38:21 +0200
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source all amd64
Version: 2.2.10-3
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
Changes:
agda (2.2.10-3) unstable; urgency=low
.
* Extend haskell-src-exts dependency range to include 0.11.*
Checksums-Sha1:
273f992041e45c31719c8872652871e81ddaa8c9 2484 agda_2.2.10-3.dsc
c44d736c0a02b2f0879bedae9032f14fc0269ada 7612 agda_2.2.10-3.debian.tar.gz
47ae52f0d694af781cfc16bcd66ed91f61c387c7 1474510 libghc-agda-doc_2.2.10-3_all.deb
b37b5ef47c1ca4fbc8ad3702be26af5adc2a94fb 43786 agda-mode_2.2.10-3_all.deb
0e25b49ba51958a97d90fcf86e09063d7a00cc7a 12134 agda_2.2.10-3_all.deb
2bc330d932b67fd5f2ec7fcb813cc2618f3484bd 10870846 libghc-agda-dev_2.2.10-3_amd64.deb
Checksums-Sha256:
a7cadc9763d15acd48988b283e7231c3160fa4dc92b33dedaacd6dd76c0173c9 2484 agda_2.2.10-3.dsc
415364d12a094bd908d14d38230e48bc5e8c24dd439d1de656978d4933ad044f 7612 agda_2.2.10-3.debian.tar.gz
294d4f15e472d96881b171b6880f2a2b6749504fc5f4fe645bdd962da266bc14 1474510 libghc-agda-doc_2.2.10-3_all.deb
7bd3187dc7606edb4f1d72cd10a9f095a69d84dc992adcdca0e9ecac53639a88 43786 agda-mode_2.2.10-3_all.deb
c3ea6943c42be028607776cb5265316cc16b5df145880c2828454c47ba736515 12134 agda_2.2.10-3_all.deb
6dac13f8762126cc3dec29c0de382d725785618144630249fe21cc1c9c15fb1c 10870846 libghc-agda-dev_2.2.10-3_amd64.deb
Files:
767351a08c1d06a75d19cdf3e03f76a1 2484 haskell extra agda_2.2.10-3.dsc
84459d505179b2fa8fc16a16f8b175b8 7612 haskell extra agda_2.2.10-3.debian.tar.gz
f145e479c29fe3ec8fbb3341544493db 1474510 doc extra libghc-agda-doc_2.2.10-3_all.deb
bc7908b9445113e62cb9c464b6dee9b2 43786 misc extra agda-mode_2.2.10-3_all.deb
3f40d7cc7ab6f1a3251619b2b20dfb19 12134 misc extra agda_2.2.10-3_all.deb
9c42290a0bea529038eccf3af30db8b0 10870846 haskell extra libghc-agda-dev_2.2.10-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk37E9AACgkQ9ijrk0dDIGyEBQCfSAx88nuOztG8vdjz6IAKhQ0v
Om0AmwTZCRFVtIkT6LhQsc/o/S/kRLXe
=gbcK
-----END PGP SIGNATURE-----
Accepted:
agda-mode_2.2.10-3_all.deb
to main/a/agda/agda-mode_2.2.10-3_all.deb
agda_2.2.10-3.debian.tar.gz
to main/a/agda/agda_2.2.10-3.debian.tar.gz
agda_2.2.10-3.dsc
to main/a/agda/agda_2.2.10-3.dsc
agda_2.2.10-3_all.deb
to main/a/agda/agda_2.2.10-3_all.deb
libghc-agda-dev_2.2.10-3_amd64.deb
to main/a/agda/libghc-agda-dev_2.2.10-3_amd64.deb
libghc-agda-doc_2.2.10-3_all.deb
to main/a/agda/libghc-agda-doc_2.2.10-3_all.deb
Reply to: