-----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