-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 23 Nov 2011 14:06:19 +0000 Source: agda-bin Binary: agda-bin Architecture: source amd64 Version: 2.3.0-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.3.0-1) unstable; urgency=low . * [f578578] Imported Upstream version 2.3.0 * [4a61a40] Update BDs and deps for new release Checksums-Sha1: 5aafc2a4510c78c7369c5a34c179dbcb2077d0ab 1994 agda-bin_2.3.0-1.dsc 00c1009861e3ac419453c658a4e4488fb844e0a9 1764 agda-bin_2.3.0.orig.tar.gz ed4abae7261985ca62161aad2543510c20a0f8c0 2964 agda-bin_2.3.0-1.diff.gz 5ff38481ff36e642b8596ef82ca272a1a9167759 5322680 agda-bin_2.3.0-1_amd64.deb Checksums-Sha256: bc3de5074da346cead283ad3ef9a4aa457f265f0ad9e2b1fb83c1433b116b759 1994 agda-bin_2.3.0-1.dsc b75ce406ac9343dbc10a221f7552df2d5ddccc8ef38359d33465c02dbe992ad8 1764 agda-bin_2.3.0.orig.tar.gz 59475f5473fd10da70f1fa2fb2ac01e2a3bd033c777cb7ee2073affaa1919fda 2964 agda-bin_2.3.0-1.diff.gz c8089e02a935e90b8666282e9a1f1314eed9526d8f3a9924028cb46d8866fb3f 5322680 agda-bin_2.3.0-1_amd64.deb Files: a7eedcd8dfb6ba31cf6192c9b9bcef3b 1994 haskell extra agda-bin_2.3.0-1.dsc 8cf0b27b08a8cccb34431ba31093a823 1764 haskell extra agda-bin_2.3.0.orig.tar.gz 3b470db3c7ccb25800be8244fd5dadd2 2964 haskell extra agda-bin_2.3.0-1.diff.gz bb3f7a0da94d629f0de417164dfa3f8d 5322680 haskell extra agda-bin_2.3.0-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCAAGBQJOzP68AAoJEONS1cUcUEHULnEP/RUJVzKyjCt0zpOR5OtDAdcu DTwnJOadJSLOHFi7ZFEY21efuaLFQJfRKbviHlVE5JWgRMEeNRnUmB/SbMxHepQz XE5WTEsTU3pUOH64U125g8gxzcMz1ueUq+PyU9fbmoeCNr6UP8GU6XFbfSd1jPfE U/kd2CiyQEkM3pLF5Xj7CZZcAFuXrnTVGjTNPfMnZFYuqCOgTU+3Yf33SnVgdbX6 7QrsH5sqgj0AZoJ+1N56BNXfxbgRJh9hCAu5chJH6V2RGAW9nLHWvv8th6rpvy93 pEQN02fdgwnq5NRwzqQT6aq3Mo3eSDIGcxGCn/wA+f06UUwfcsJgi+DtIxNSuMCp p7W1YbMtv+cWOUdJUC4edCyFWSJQEXTnlM9rESs7hsuqdMTuuB+o563jJtSt9o4F 2s60nFFvOKoVbnChC94SDQVSVCgzhwkxCWRTEPM0vClmeLvY74dog9zsR3H1yquz cqBORQD5I3qscwKOsZ9fcoABcOnJGS7UicokGHp7N+jtIMapBXYsJcLHj0riQTO6 oRqrUTOsLVqwI7bb69w7ehzcBTNXkwuoBWHxr33GbH6bmdMNY0Qec1a1XfPMzc3X mKaOlr3xumd+HboSlFcAPyRIFV639ygSB5lyd8h6zMG6SLAgkZgMkaNhr8e/fHPN gKJRrHhsLaeQi4fBQLVp =Oa22 -----END PGP SIGNATURE----- Accepted: agda-bin_2.3.0-1.diff.gz to main/a/agda-bin/agda-bin_2.3.0-1.diff.gz agda-bin_2.3.0-1.dsc to main/a/agda-bin/agda-bin_2.3.0-1.dsc agda-bin_2.3.0-1_amd64.deb to main/a/agda-bin/agda-bin_2.3.0-1_amd64.deb agda-bin_2.3.0.orig.tar.gz to main/a/agda-bin/agda-bin_2.3.0.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/e1rtgdk-0002yr...@franck.debian.org