-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 20 Jul 2009 19:49:41 +0100 Source: agda Binary: libghc6-agda-dev libghc6-agda-prof haskell-agda-doc agda-mode Architecture: source all amd64 Version: 2.2.4+dfsg-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 Changes: agda (2.2.4+dfsg-1) unstable; urgency=low . * New upstream release 2.2.4. * Repacked to fix a couple of DFSG problems, see debian/README.source for more information. * debian/copyright: Update, add missing copyright holders. * debian/control: Move ghc6-doc, haddock to Build-Depends. Move -doc packages to build-depends-indep. Checksums-Sha1: d42939366af37ef505627f1fc06b0e643b6f1e41 3038 agda_2.2.4+dfsg-1.dsc a0c37e98276daf2494681523a420976af1ecdd2e 377740 agda_2.2.4+dfsg.orig.tar.gz f2113da18500a822e8562a298f063dcf376a4b7d 4129 agda_2.2.4+dfsg-1.diff.gz 1fe4a7cb502a03d42ba8d40873ea3051245a1032 1101996 haskell-agda-doc_2.2.4+dfsg-1_all.deb 0a5a0328f39c1454833f4c57f641a7fbbc50b70c 36642 agda-mode_2.2.4+dfsg-1_all.deb f7030250b0bac677e9878f0cbff26f21da70237b 8571574 libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb 8b050088692bf22a69a7645310b1a0119a3aa055 13323126 libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb Checksums-Sha256: e3c5ec47ac38a2f9b168234cb94e22e1488ceff84b39582b5a75de31b2664743 3038 agda_2.2.4+dfsg-1.dsc dd03db683812293d82f5875afb444f839760014275446b56797323d906f3c791 377740 agda_2.2.4+dfsg.orig.tar.gz 7ea71ec3800aff0a9ebb151fdfc3d1b5f4c897fe399f851d399d1efa9b22d9e7 4129 agda_2.2.4+dfsg-1.diff.gz 95f48e1c1d77f0b65dcb54f4ea21c40bf0fbe5deb602ab207b51f0485e22266f 1101996 haskell-agda-doc_2.2.4+dfsg-1_all.deb b3b1a1aa9099a85f234ecbfed229d2f7b7f15dc496cabf509f4dcb663b753a91 36642 agda-mode_2.2.4+dfsg-1_all.deb 166f36f97dfe3af8f1e36323765bd4be82412cfd67df85c9476adfdb0f7315d8 8571574 libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb 579bbff1614b74c333b0d2a23c2d0fa3829fc310e03abcaebea0c2a6df56733b 13323126 libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb Files: 49bd6d205a6456080a936d9d901d750b 3038 haskell optional agda_2.2.4+dfsg-1.dsc 438d3ed44ec0b37b569fe9d8891612d9 377740 haskell optional agda_2.2.4+dfsg.orig.tar.gz 3b4f51e56fc35068953b938c81a7e1b5 4129 haskell optional agda_2.2.4+dfsg-1.diff.gz e157e16b10cf6817317d9d9de94b9e5b 1101996 doc optional haskell-agda-doc_2.2.4+dfsg-1_all.deb fc6bd2eb5e8408f4ec5f82ad7cf722fe 36642 misc optional agda-mode_2.2.4+dfsg-1_all.deb 6d9bf1c5ddac11f8505494d742f19e39 8571574 haskell optional libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb d66b61317d077674bf8d569f16fa6d40 13323126 haskell optional libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkplvzgACgkQ9ijrk0dDIGx0ygCeOnvR2ah/jl7AVWwg/BoB4jIm RJYAn3NOmhAZAH1FYhEfVIRrpPZJdJY5 =gqA9 -----END PGP SIGNATURE----- Accepted: agda-mode_2.2.4+dfsg-1_all.deb to pool/main/a/agda/agda-mode_2.2.4+dfsg-1_all.deb agda_2.2.4+dfsg-1.diff.gz to pool/main/a/agda/agda_2.2.4+dfsg-1.diff.gz agda_2.2.4+dfsg-1.dsc to pool/main/a/agda/agda_2.2.4+dfsg-1.dsc agda_2.2.4+dfsg.orig.tar.gz to pool/main/a/agda/agda_2.2.4+dfsg.orig.tar.gz haskell-agda-doc_2.2.4+dfsg-1_all.deb to pool/main/a/agda/haskell-agda-doc_2.2.4+dfsg-1_all.deb libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb to pool/main/a/agda/libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb to pool/main/a/agda/libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb