Accepted agda-bin 2.2.4-1 (source i386)
-----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 <laney@ubuntu.com>
Changed-By: Iain Lane <laney@ubuntu.com>
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