Accepted agda 2.2.2-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 20 May 2009 16:08:07 +0100
Source: agda
Binary: libghc6-agda-dev libghc6-agda-prof haskell-agda-doc agda-mode
Architecture: source all amd64
Version: 2.2.2-1
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@ubuntu.com>
Description:
agda-mode - the emacs mode for Agda
haskell-agda-doc - a dependently typed functional programming language - documentati
libghc6-agda-dev - a dependently typed functional programming language - development
libghc6-agda-prof - a dependently typed functional programming language - profiling l
Closes: 522924
Changes:
agda (2.2.2-1) unstable; urgency=low
.
* Initial packaging (Closes: #522924)
* With thanks to Marco Túlio Gontijo e Silva and Joachim Breitner for
their helpful comments
Checksums-Sha1:
06fb075aea0b2f068093669304c28b9437fb1a15 2531 agda_2.2.2-1.dsc
ac1433399e961d72d6eee622814a8daec6156b1b 339490 agda_2.2.2.orig.tar.gz
5e10e47d3e7a0d78d2f11d3f8eb69f2fbcf87296 4108 agda_2.2.2-1.diff.gz
5f21985ea2a0b8f485933bc6a16e294bb1e1899c 1084760 haskell-agda-doc_2.2.2-1_all.deb
2547d8c752cd052f616839f91ad64cc39519b197 36090 agda-mode_2.2.2-1_all.deb
51728e7715a17f4959cb756e33f892219a41b8e4 8410204 libghc6-agda-dev_2.2.2-1_amd64.deb
8756b1c9e2cc8d26e0ff15c48fe2e54c91d4f6c8 13051512 libghc6-agda-prof_2.2.2-1_amd64.deb
Checksums-Sha256:
4652d42e5f5949b6a9a3fae5c2dc21ed176949b2c5fb13bd84f7d0dc66c60374 2531 agda_2.2.2-1.dsc
964a33fa39d828d6ad49a024760dd67cebb3b3e6362e14e92f494f317ba58641 339490 agda_2.2.2.orig.tar.gz
7ee96ac1f18b09b897086a62b89e6474f73a1eb960adf7bc2870426216f5e46f 4108 agda_2.2.2-1.diff.gz
eba7959bdcb066b642d23e49478efdf0b709aae4b3297459d528eea26f53fac5 1084760 haskell-agda-doc_2.2.2-1_all.deb
33aff4188a96d350e151c4790215e747d1a57501457d2b23c659add8ac99b5ea 36090 agda-mode_2.2.2-1_all.deb
c3aaa31d538bb2a9a8bd5db395e18181fb607ee7f5ccbb9a369a7b894161fa8f 8410204 libghc6-agda-dev_2.2.2-1_amd64.deb
35ab4c3518c7b4892e18b1f6587341a7a2377f7086b057f60ef0c263c63eae37 13051512 libghc6-agda-prof_2.2.2-1_amd64.deb
Files:
5ff3197970daf08fa2e9524fe1a0adda 2531 haskell optional agda_2.2.2-1.dsc
3a48a81f3abf7140cd875e8f65756d30 339490 haskell optional agda_2.2.2.orig.tar.gz
2fe925ea7325f75af84789610c1b3f26 4108 haskell optional agda_2.2.2-1.diff.gz
b2680cae312979cb377706fb3f7982ee 1084760 doc optional haskell-agda-doc_2.2.2-1_all.deb
4522106a0b0915e6f0b03d62505b8777 36090 misc optional agda-mode_2.2.2-1_all.deb
b61bcc31f646f0bfd2bbf2362b8872fc 8410204 haskell optional libghc6-agda-dev_2.2.2-1_amd64.deb
29409de24e637e69d714e9fb1820075b 13051512 haskell optional libghc6-agda-prof_2.2.2-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkpZxkcACgkQ9ijrk0dDIGyxGgCgzpR3fc9HioUhXYNBx2OJySl3
RDUAmwd5/lX9QMyjE4NIOpzS6L+8x1Ws
=v72J
-----END PGP SIGNATURE-----
Accepted:
agda-mode_2.2.2-1_all.deb
to pool/main/a/agda/agda-mode_2.2.2-1_all.deb
agda_2.2.2-1.diff.gz
to pool/main/a/agda/agda_2.2.2-1.diff.gz
agda_2.2.2-1.dsc
to pool/main/a/agda/agda_2.2.2-1.dsc
agda_2.2.2.orig.tar.gz
to pool/main/a/agda/agda_2.2.2.orig.tar.gz
haskell-agda-doc_2.2.2-1_all.deb
to pool/main/a/agda/haskell-agda-doc_2.2.2-1_all.deb
libghc6-agda-dev_2.2.2-1_amd64.deb
to pool/main/a/agda/libghc6-agda-dev_2.2.2-1_amd64.deb
libghc6-agda-prof_2.2.2-1_amd64.deb
to pool/main/a/agda/libghc6-agda-prof_2.2.2-1_amd64.deb
Reply to: