-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 22 Jul 2009 00:14:04 +0100 Source: agda-bin Binary: agda-bin Architecture: source i386 Version: 2.2.4-1 Distribution: unstable Urgency: low Maintainer: Iain Lane <[email protected]> Changed-By: Iain Lane <[email protected]> Description: agda-bin - Commandline interface to Agda Closes: 537705 Changes: agda-bin (2.2.4-1) unstable; urgency=low . * Initial release (Closes: #537705) Checksums-Sha1: f213ed7e18a5457d5e39534d8786123ff03e95bd 1084 agda-bin_2.2.4-1.dsc afc0a821196bf677f7e3b05439e0fc00f005e0e0 1587 agda-bin_2.2.4.orig.tar.gz 5c16f77afbc027626bcac83fd2763d40c810d03f 2093 agda-bin_2.2.4-1.diff.gz a823da6959a97f20d76f3911157ab74bd76de015 2395958 agda-bin_2.2.4-1_i386.deb Checksums-Sha256: 5580cea3f62c788cf944b9aa38ccbaf05bee9cdcd1a0ccbb40e7725f8bab6ae1 1084 agda-bin_2.2.4-1.dsc 8b2cb0523979d9fb3832d1d53bf4ca78d4b76740f453f5c742e184082adf1b0b 1587 agda-bin_2.2.4.orig.tar.gz 34edf4d6e40f78e43932ecc41046109ae625febe312e6b3e25052884b2796c25 2093 agda-bin_2.2.4-1.diff.gz 2595a030c53b502423388bd893be419c694de7e405b7679b5e6ab4d0beacc73d 2395958 agda-bin_2.2.4-1_i386.deb Files: 154833912beca2abaa1f8701354f0821 1084 haskell optional agda-bin_2.2.4-1.dsc d488ba50c50974ea3621fbcfb9f2f869 1587 haskell optional agda-bin_2.2.4.orig.tar.gz 0ff8f0287b472f1a30d3969560ea1de1 2093 haskell optional agda-bin_2.2.4-1.diff.gz 7afc6d0e3b1953a188d33167074c2149 2395958 haskell optional agda-bin_2.2.4-1_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkps79kACgkQ5/8uW2NPmiCmLgCfZizLNis4w2F2frbKJCqfrk50 xjQAnRRp2EJC28ZJa8oAFckOKoFJ85S9 =RPZ5 -----END PGP SIGNATURE----- Accepted: agda-bin_2.2.4-1.diff.gz to pool/main/a/agda-bin/agda-bin_2.2.4-1.diff.gz agda-bin_2.2.4-1.dsc to pool/main/a/agda-bin/agda-bin_2.2.4-1.dsc agda-bin_2.2.4-1_i386.deb to pool/main/a/agda-bin/agda-bin_2.2.4-1_i386.deb agda-bin_2.2.4.orig.tar.gz to pool/main/a/agda-bin/agda-bin_2.2.4.orig.tar.gz -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
