Accepted agda 2.3.0.1-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 25 May 2012 22:58:34 +0200
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source all amd64
Version: 2.3.0.1-2
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.3.0.1-2) unstable; urgency=low
.
* New patch: Extend mtl dependency
Checksums-Sha1:
819fe82c7544af794d61037eaaae8cd5e24ae797 2391 agda_2.3.0.1-2.dsc
845f495718a734d7dfdbb1d2e8e4c11e55c5ce79 6874 agda_2.3.0.1-2.debian.tar.gz
4429ce3acb4236b8efb0c17c20acf78f2d0b4fd6 1750812 libghc-agda-doc_2.3.0.1-2_all.deb
6c6c6ade67e39fde5c64d3cc4cd40323966fa1cd 46136 agda-mode_2.3.0.1-2_all.deb
c7e04be4636c08e8bcd53ed45502497e78562a89 13200 agda_2.3.0.1-2_all.deb
480f3d4875d474764af6917856b2741a46f57030 13052880 libghc-agda-dev_2.3.0.1-2_amd64.deb
Checksums-Sha256:
ea45e8d26107d21a0cf15e36d8b4e1271bded9d2bfd79b2c8ced5fef91fee2de 2391 agda_2.3.0.1-2.dsc
f418b37b1a1385f5b537e58ededfa32b585662858ee54bd4ca4d481ffd2dbc21 6874 agda_2.3.0.1-2.debian.tar.gz
bd71052fb2044e76e6c09d66860aae50be757a1594ca9f1c996e1cd733fafd7d 1750812 libghc-agda-doc_2.3.0.1-2_all.deb
5a010807c5afe3ec6561f6d2ee65328a375092947a4408814a9090c89df60de4 46136 agda-mode_2.3.0.1-2_all.deb
f4f6da784255e71f6b5e3abd64e740e1940f54e2ff289983f728c5795d8309df 13200 agda_2.3.0.1-2_all.deb
13752e99065f73bfacef44a01850a6f49494f7597f58d97bd2acb3c7f3ad2931 13052880 libghc-agda-dev_2.3.0.1-2_amd64.deb
Files:
eec9b15f2b1bfcbca153fd772442231b 2391 haskell extra agda_2.3.0.1-2.dsc
9c51c10d9edcb561ffeb5a9a7e60d406 6874 haskell extra agda_2.3.0.1-2.debian.tar.gz
ddd150b0527d70358144bdbf1db5a281 1750812 doc extra libghc-agda-doc_2.3.0.1-2_all.deb
fde920370e69bc609c827f23ec6d7e34 46136 misc extra agda-mode_2.3.0.1-2_all.deb
9ac123c03db82ba42465900bc75ce62c 13200 misc extra agda_2.3.0.1-2_all.deb
a2b2eef2a2e0b0fdcbc8b2d87c8106ef 13052880 haskell extra libghc-agda-dev_2.3.0.1-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAk+/9NIACgkQ9ijrk0dDIGyUWQCgxYOTmFVAHqV+JINYdK6BUUhN
yd8An3FE4+kXEtZAXoFYEn2Y9ry8Lsqq
=Ul03
-----END PGP SIGNATURE-----
Accepted:
agda-mode_2.3.0.1-2_all.deb
to main/a/agda/agda-mode_2.3.0.1-2_all.deb
agda_2.3.0.1-2.debian.tar.gz
to main/a/agda/agda_2.3.0.1-2.debian.tar.gz
agda_2.3.0.1-2.dsc
to main/a/agda/agda_2.3.0.1-2.dsc
agda_2.3.0.1-2_all.deb
to main/a/agda/agda_2.3.0.1-2_all.deb
libghc-agda-dev_2.3.0.1-2_amd64.deb
to main/a/agda/libghc-agda-dev_2.3.0.1-2_amd64.deb
libghc-agda-doc_2.3.0.1-2_all.deb
to main/a/agda/libghc-agda-doc_2.3.0.1-2_all.deb
Reply to: