Accepted agda-bin 2.2.6-1 (source amd64)
-----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 <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@ubuntu.com>
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