-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 12 Mar 2012 14:31:48 +0100 Source: agda-bin Binary: agda-bin Architecture: source amd64 Version: 2.3.0.1-1 Distribution: unstable Urgency: low Maintainer: Debian Haskell Group <pkg-haskell-maintain...@lists.alioth.debian.org> Changed-By: Joachim Breitner <nome...@debian.org> Description: agda-bin - commandline interface to Agda Changes: agda-bin (2.3.0.1-1) unstable; urgency=low . * New upstream release Checksums-Sha1: 026616b7ee3c4da7a596234b1f76e169b72e324e 1370 agda-bin_2.3.0.1-1.dsc cacbb5508fb6d870e7ddf7edb8198aa3cda380ef 1765 agda-bin_2.3.0.1.orig.tar.gz 701416a72a33937476a75b96f3c578dac1243004 3008 agda-bin_2.3.0.1-1.diff.gz 35ca420b78afa822622b34addce9f16dc9ac23d8 4911722 agda-bin_2.3.0.1-1_amd64.deb Checksums-Sha256: c9f43888cb808ac4ff9c93de850fdbac760108f1afd495d5666c82485d8830e2 1370 agda-bin_2.3.0.1-1.dsc 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 1765 agda-bin_2.3.0.1.orig.tar.gz 90a69a575cf80e327050b0762f5f29b291fc9df003ada748e36e95648491c0a5 3008 agda-bin_2.3.0.1-1.diff.gz 630196157a7bda7f8db82de7cce1a1aa1236cbcea2afe597334b83d6ab3c2e6b 4911722 agda-bin_2.3.0.1-1_amd64.deb Files: 325fcd82ee1de93563493ee7f6f5cc1b 1370 haskell extra agda-bin_2.3.0.1-1.dsc a9c803f0a829cf54d35b1a82f0ba6181 1765 haskell extra agda-bin_2.3.0.1.orig.tar.gz 112223eebe7ed70bcae66a2a008e9077 3008 haskell extra agda-bin_2.3.0.1-1.diff.gz 660be3420dbbeda304961c41011ff5d8 4911722 haskell extra agda-bin_2.3.0.1-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAk9d+uQACgkQ9ijrk0dDIGySgwCgxLJ2xPo5zw4wvjyhQmFgEpft KakAnAzL0Bn7JTKuzk7kzqc7NKXkb1A0 =MlqW -----END PGP SIGNATURE----- Accepted: agda-bin_2.3.0.1-1.diff.gz to main/a/agda-bin/agda-bin_2.3.0.1-1.diff.gz agda-bin_2.3.0.1-1.dsc to main/a/agda-bin/agda-bin_2.3.0.1-1.dsc agda-bin_2.3.0.1-1_amd64.deb to main/a/agda-bin/agda-bin_2.3.0.1-1_amd64.deb agda-bin_2.3.0.1.orig.tar.gz to main/a/agda-bin/agda-bin_2.3.0.1.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/e1s75aj-00062v...@franck.debian.org