-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: agda-bin
Binary: agda-bin
Architecture: any
Version: 2.2.4-1
Maintainer: Iain Lane <laney@ubuntu.com>
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.8.2
Build-Depends: debhelper (>= 7.0), haskell-devscripts (>= 0.6.15+nmu12~), cdbs (>= 0.4.59~), ghc6 (>= 6.10.4-1~), libghc6-agda-dev
Checksums-Sha1: 
 afc0a821196bf677f7e3b05439e0fc00f005e0e0 1587 agda-bin_2.2.4.orig.tar.gz
 5c16f77afbc027626bcac83fd2763d40c810d03f 2093 agda-bin_2.2.4-1.diff.gz
Checksums-Sha256: 
 8b2cb0523979d9fb3832d1d53bf4ca78d4b76740f453f5c742e184082adf1b0b 1587 agda-bin_2.2.4.orig.tar.gz
 34edf4d6e40f78e43932ecc41046109ae625febe312e6b3e25052884b2796c25 2093 agda-bin_2.2.4-1.diff.gz
Files: 
 d488ba50c50974ea3621fbcfb9f2f869 1587 agda-bin_2.2.4.orig.tar.gz
 0ff8f0287b472f1a30d3969560ea1de1 2093 agda-bin_2.2.4-1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkps79UACgkQ5/8uW2NPmiD22wCggkCQH/aF2hr16qledmOpByR9
O88AnRinKI9JQMvQWpfNe6ryEWzzkVLu
=O8kB
-----END PGP SIGNATURE-----