-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 20 Feb 2010 20:12:57 -0200 Source: agda Binary: libghc6-agda-dev libghc6-agda-prof haskell-agda-doc agda-mode Architecture: source all amd64 Version: 2.2.6-3 Distribution: unstable Urgency: low Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Marco Túlio Gontijo e Silva <marcot@debian.org> 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.6-3) unstable; urgency=low . [ Iain Lane ] * debian/rules, debian/watcher.sh: Add a ticker to the build to prevent timeouts on some arches. This was taken from the GHC6 source package and modified a bit to add some rudimentary locking. Previously the build was timing out on some slow arches (armel, mips*) but does actually make progress and complete when given enough time * debian/control: + Add field ${haskell:Provides} to -dev and -prof packages in preparation the upcoming GHC6/haskell-devscripts uploads into unstable + Standards-Version bump to 3.8.4, no changes required . [ Marco Túlio Gontijo e Silva ] * debian/control: Remove unneeded Build-Depends: on libghc6-utf8- string-*. * debian/control: Bump version of haskell-devscripts on Build-Depends to 0.7. Remove versioned Build-Depends: of ghc6* and remove hscolour and haddock from Build-Depends:. * debian/control: Split Build-Depends in Buid-Depends-Indep:. * debian/control: Use all haskell: variables. * debian/watch: Use format that downloads current version and checks for new versions. Checksums-Sha1: e99662a9e0999a17dd0bcb76f2a832eeca370512 2750 agda_2.2.6-3.dsc 1e11abc883395002e406f899051e7f37a0c15507 5364 agda_2.2.6-3.diff.gz 8c0094936e772c4a01c62b04e308ae7a8ca544c0 1097098 haskell-agda-doc_2.2.6-3_all.deb 1dc3f98f276f04445c9cdd8d087cb8877403eb52 39734 agda-mode_2.2.6-3_all.deb f9bc31cae9560cf25a648935b28216bf07bf2819 10054260 libghc6-agda-dev_2.2.6-3_amd64.deb ad6894b74c59212f1998befef7fa82b106c94902 14880846 libghc6-agda-prof_2.2.6-3_amd64.deb Checksums-Sha256: e2c0511e2146ad0bc5e78ac73a94df8391411c6e89c0feee751b7c840dbf27cd 2750 agda_2.2.6-3.dsc dd4c138d351991e805615737e21728ef02ac521623370000610402e32def6fd5 5364 agda_2.2.6-3.diff.gz 4ae2fe07bfb602e66144798af37fbaed21200cc5401a8dcfdde029a577a74a12 1097098 haskell-agda-doc_2.2.6-3_all.deb bbaa57d8fb8ae62d266e39c1c5d4eb435c47d1faafe5e4dc1a24b64b37115ec7 39734 agda-mode_2.2.6-3_all.deb 5a3ad2f61658e4346733260b953a5bac28f690f1979bc236e834bc3e612f9e59 10054260 libghc6-agda-dev_2.2.6-3_amd64.deb 0fe4bb08673a473cf38a5542e0fd2ed15301e19fd42cdd479ca552f77c1ef6a9 14880846 libghc6-agda-prof_2.2.6-3_amd64.deb Files: 032a7f19a23e422ae606edb4126e6d29 2750 haskell extra agda_2.2.6-3.dsc a463250d2f5704545eedf8cb4baab9b7 5364 haskell extra agda_2.2.6-3.diff.gz 8c1a03bc587384781c805adf81b0eb59 1097098 doc extra haskell-agda-doc_2.2.6-3_all.deb 61f64d8b3a3f5ab873f047c20e116fa6 39734 misc extra agda-mode_2.2.6-3_all.deb 8d7b44247ffc824e48bda35ccde771d9 10054260 haskell extra libghc6-agda-dev_2.2.6-3_amd64.deb e94351991fef505eabe86ca0d1af3f4c 14880846 haskell extra libghc6-agda-prof_2.2.6-3_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkuIbjwACgkQhAwOmkV1TkTgiACfdoIOpjLuySsTRvE2vzTkTXi3 WUQAn1m1xBXupB5Bnq3zCmKVDoqbW1nt =FlyG -----END PGP SIGNATURE----- Accepted: agda-mode_2.2.6-3_all.deb to main/a/agda/agda-mode_2.2.6-3_all.deb agda_2.2.6-3.diff.gz to main/a/agda/agda_2.2.6-3.diff.gz agda_2.2.6-3.dsc to main/a/agda/agda_2.2.6-3.dsc haskell-agda-doc_2.2.6-3_all.deb to main/a/agda/haskell-agda-doc_2.2.6-3_all.deb libghc6-agda-dev_2.2.6-3_amd64.deb to main/a/agda/libghc6-agda-dev_2.2.6-3_amd64.deb libghc6-agda-prof_2.2.6-3_amd64.deb to main/a/agda/libghc6-agda-prof_2.2.6-3_amd64.deb