-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.0
Source: agda-bin
Binary: agda-bin
Architecture: any
Version: 2.2.10-1~ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Iain Lane <laney@ubuntu.com>
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.9.1
Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda-bin.git;a=summary
Vcs-Git: git://git.debian.org/git/pkg-haskell/agda-bin.git
Build-Depends: debhelper (>= 7.0), haskell-devscripts (>= 0.6.15+nmu12~), cdbs, ghc6 (>= 6.10.4-1~), libghc6-agda-dev (>= 2.2.10), libghc6-agda-dev (<< 2.2.10.1~)
Checksums-Sha1: 
 5f26902c2aa223491f2601b4ec94bef9b59eba03 1788 agda-bin_2.2.10.orig.tar.gz
 390f8b8c037112c060fbc30ab42973962cea29e8 2875 agda-bin_2.2.10-1~ubuntu1.diff.gz
Checksums-Sha256: 
 c65fda739b23d1c996918e8adaf5d8bf7d4a37479e05cd9d56377cb5cb5f544a 1788 agda-bin_2.2.10.orig.tar.gz
 6e5edd10c6eb8309f7ea20d05eac8cf54e47453896d0614f70b02ef26bdf8069 2875 agda-bin_2.2.10-1~ubuntu1.diff.gz
Files: 
 a12a7831e9f9eeba5fc6e05dcabf7ae5 1788 agda-bin_2.2.10.orig.tar.gz
 a4b1d127c0ed392262df50b58baf3b97 2875 agda-bin_2.2.10-1~ubuntu1.diff.gz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>

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

iQIcBAEBCAAGBQJNaqg3AAoJEONS1cUcUEHUeHIP/2feYOL7iMBftR7wf7KNPbp3
7p0GAh/RlGuN49rExb6XQ8gNNJt1bi0zwNeTHyHYVSN/hXFXVez3JWlrZ0MN+fG4
gCZRp35oSfwDUeQf0f/sTxYY/p+RyyU5mKyMRvYM+e5tRvgimEgWDd9zJ6DplrIf
sjhYhWVsGUN6UJtLaKFrjMOt4ATABBNfkCt8rxX5ULhTlTKSXZNt9F+hAZpBVxLL
kQfSvaO7b3rAJwBmO/4VFYSkVktZbRY5tmREQd3xUY/71AWEWpJGihWGSaVinqfF
JRRI6xAXUWxAPmzBRpDaUs+vJwgVSDMSiLukSptGwyr69/gG8RtN2TjJSA8S0PS3
1wKeFPCDN644oyuImUE7FUZmAQSNzSe5fFgwHuPF8BkZ80dURRLeVL26fuhlcWCr
WTi/64jSBzHnon6Kb1Qq9f5akoWFZvOul9ZnskXJdFYM+fTewkY/w+Egs1mtvx2q
oXsfPDoXyijhTZa0YGN7ivxUeRns6wm11cT0zXB8ucsl2MYM5JYRMaAxmTN+Mlg3
nVeYF+ws7zdTYvHwD9Rf7Cpm1f2FqCjgvU8SKvH+Gpp0NVHmYQG13saxVvqJKM4s
vgZAadzYWk0fSqWPXU1xkco+RMydeGHAto0IsxHdLNlTcaaQEegKTzoMBbixBd7L
UzO2BJZDFvh0lvHfBuAw
=Ji77
-----END PGP SIGNATURE-----