-----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-maintain...@lists.alioth.debian.org> Changed-By: Iain Lane <la...@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 -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1qongh-0006kf...@franck.debian.org