-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 09 Jan 2010 21:41:42 +0000 Source: agda-bin Binary: agda-bin Architecture: source amd64 Version: 2.2.6-1 Distribution: unstable Urgency: low Maintainer: Debian Haskell Group <[email protected]> Changed-By: Iain Lane <[email protected]> Description: agda-bin - Commandline interface to Agda Changes: agda-bin (2.2.6-1) unstable; urgency=low . * New upstream release 2.2.6 * debian/control: - Add vcs-* entries - Set to group maintenance - Relax version restriction on CDBS build-dep; not necessary as not using any new features - Tighten version restriction on agda build-dep; want to ensure that -bin is built against corresponding version of agda. - Bump Standards-Version to 3.8.3, no changes required. - Set priority to extra per archive overrides * debian/copyright: Update upstream source to a more generic location Checksums-Sha1: f3fe0d03a0e7c521a566bd2084a88d0d39bf5386 1329 agda-bin_2.2.6-1.dsc 436a8447f2b974f94d0d4216f7d4c05574986ab7 1681 agda-bin_2.2.6.orig.tar.gz ba3a12c9f6797203691e4a38ff3c15b9d1865aaa 2449 agda-bin_2.2.6-1.diff.gz 47899e793061f86b8b5476fd8e86aaaa2b3d8973 2854162 agda-bin_2.2.6-1_amd64.deb Checksums-Sha256: 1b16ac2890459e887c292769525d77367b46bb9fb46b11709839dd0ed3b81335 1329 agda-bin_2.2.6-1.dsc 7baab70c305989c02ef206095f19a15cb70abe536f6e647bcd3844ebb3c0f2fc 1681 agda-bin_2.2.6.orig.tar.gz 594d7f1f965d602058f7a35ff54dd1dd56150dbb552dfcd935de9e0d6b300d5b 2449 agda-bin_2.2.6-1.diff.gz cf1933caa568d34f11e3bbbada4affc8e9de41c926642e366b5a6aa076c9f3ee 2854162 agda-bin_2.2.6-1_amd64.deb Files: 179f022414207fc054391703a4be9494 1329 haskell extra agda-bin_2.2.6-1.dsc d88d9504500a32fabc2c883991059b68 1681 haskell extra agda-bin_2.2.6.orig.tar.gz 1938435da24eda52576031fddf237654 2449 haskell extra agda-bin_2.2.6-1.diff.gz 6e89b25de4019f1a2c9c1abcd5733740 2854162 haskell extra agda-bin_2.2.6-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEUEARECAAYFAktLYpwACgkQ9ijrk0dDIGykKACYtLtvPToshqLeENbf9tUKzXDS QgCgj8rsL9zUSarMLWwjet+7H2uKgrI= =Lokq -----END PGP SIGNATURE----- Accepted: agda-bin_2.2.6-1.diff.gz to main/a/agda-bin/agda-bin_2.2.6-1.diff.gz agda-bin_2.2.6-1.dsc to main/a/agda-bin/agda-bin_2.2.6-1.dsc agda-bin_2.2.6-1_amd64.deb to main/a/agda-bin/agda-bin_2.2.6-1_amd64.deb agda-bin_2.2.6.orig.tar.gz to main/a/agda-bin/agda-bin_2.2.6.orig.tar.gz -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
