Accepted agda-bin 2.2.10-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 24 May 2011 08:59:48 +0100
Source: agda-bin
Binary: agda-bin
Architecture: source amd64
Version: 2.2.10-1
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@debian.org>
Description:
agda-bin - commandline interface to Agda
Changes:
agda-bin (2.2.10-1) unstable; urgency=low
.
* [e9845f4] debian/gbp.conf: Remove as we are no longer uploading to exp
* [62091f5] Imported Upstream version 2.2.10
* [6beab2e] Bump Agda BDs per Agda.cabal
* [6c3faaa] Update short descriptions to reflect best practice
* [b0badb1] d/copyright: Update copyright years
* [53d7b08] Update to use new ghc package names
* [84dea7d] Standards-Version bump to 3.9.2, no changes required
* [50738d0] Use ghc build targets and install locations instead of ghc6
Checksums-Sha1:
d711a799513e6b4cc6bcdcf08c093da4a9a321c5 1960 agda-bin_2.2.10-1.dsc
5f26902c2aa223491f2601b4ec94bef9b59eba03 1788 agda-bin_2.2.10.orig.tar.gz
0ce562b1ecb03a707894e18725a2e4ab1cf1102f 2885 agda-bin_2.2.10-1.diff.gz
026a5a229546b5ca5d40fcb31da94148c7681a1e 4252786 agda-bin_2.2.10-1_amd64.deb
Checksums-Sha256:
422a5fd6e19544651fa2ab0cbdbd71ce66d31c474db7370dec8949bad7a92caf 1960 agda-bin_2.2.10-1.dsc
c65fda739b23d1c996918e8adaf5d8bf7d4a37479e05cd9d56377cb5cb5f544a 1788 agda-bin_2.2.10.orig.tar.gz
a15bc40cafe3ca461863a26038a151364646d7bc004b786db434ebd8d05c01f5 2885 agda-bin_2.2.10-1.diff.gz
bec066839be0364cb3743f368bb157caaa4f8bef01259a09bf436a34ffff3361 4252786 agda-bin_2.2.10-1_amd64.deb
Files:
5b68bb28180fdfc50c429d3705b4dfbd 1960 haskell extra agda-bin_2.2.10-1.dsc
a12a7831e9f9eeba5fc6e05dcabf7ae5 1788 haskell extra agda-bin_2.2.10.orig.tar.gz
5aaec27142c786692337f0f5665382c8 2885 haskell extra agda-bin_2.2.10-1.diff.gz
874b38480aea92ea235884a94f92b916 4252786 haskell extra agda-bin_2.2.10-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJN22aUAAoJEONS1cUcUEHUyz4P/RB4ZQvuvximahimOmyFEt3t
kvpLfzqZDmBEP91X7y7MVq+xk4s9UUtmJwxCoLpLeAczslhui2eSA3jMOMY5CT6p
0KNnYWZAlCQeim8ChcOmhFhv+aHR1g5s+MgMxQtRxLVQ/Q00ZBoM/qhLOWjjaeDn
S6aAOrnKhyiGPxom43M/rABu9jA3+DtEcSBk2yDVooiAj5DaSn5HVikZeNuXv0np
8Fz3vzW3IRnlCEIQfM8/kAh1KzyUxWtr8xb/qJInQ/vMvsXIMwnD1tQHEXff4LOu
yStBRMGISkar3y8jmo/EvZfQGqQzM0dDdCyQXaXuvjPRWikB3H6wGLuTjO+xNmjs
PoDsY5cM17TuEi+vpMz3TW2lTSgybkzhYYrdqu4vKSYGggBvKq8j08JauYUNHDNv
ovujbgG3b6P8l+029V7Kelh/8f5LK+JkmRNpt8bS4AfyIgb0objfBaj5QbPbxDsX
inYjiIHLMT30ZMB9IVqQ3GTza0NlWEJSeH8EKM1GEoyjh++f1N6qILqhMYiivSCI
+SDyu/4GNwoA+YPL8HX+peBInLbTJiOO1CRE37DmftOeVrp+NmXVMWxQgztNeKug
2eGDjtNhHbsuiNwFYV8T9Bb9LnWNmjZhK7mvANcv+dlNK7tOIOz9kcXOLEPsRi2f
ucYU1AyVOAbz3/jSIuA5
=3tVK
-----END PGP SIGNATURE-----
Accepted:
agda-bin_2.2.10-1.diff.gz
to main/a/agda-bin/agda-bin_2.2.10-1.diff.gz
agda-bin_2.2.10-1.dsc
to main/a/agda-bin/agda-bin_2.2.10-1.dsc
agda-bin_2.2.10-1_amd64.deb
to main/a/agda-bin/agda-bin_2.2.10-1_amd64.deb
agda-bin_2.2.10.orig.tar.gz
to main/a/agda-bin/agda-bin_2.2.10.orig.tar.gz
Reply to: