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

Format: 1.0
Source: agda-bin
Binary: agda-bin
Architecture: any
Version: 2.2.10-2
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Iain Lane <laney@debian.org>
Homepage: http://wiki.portal.chalmers.se/agda/
Standards-Version: 3.9.2
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, ghc, libghc-agda-dev (>= 2.2.10), libghc-agda-dev (<< 2.2.10.1~)
Checksums-Sha1: 
 5f26902c2aa223491f2601b4ec94bef9b59eba03 1788 agda-bin_2.2.10.orig.tar.gz
 7e86737783605f0ef77b44c481b4a0bf77a13506 2897 agda-bin_2.2.10-2.diff.gz
Checksums-Sha256: 
 c65fda739b23d1c996918e8adaf5d8bf7d4a37479e05cd9d56377cb5cb5f544a 1788 agda-bin_2.2.10.orig.tar.gz
 34dc8c8873a178380fb9a724f446a17b6bb0d72a7381fee91fc6419fb02c0681 2897 agda-bin_2.2.10-2.diff.gz
Files: 
 a12a7831e9f9eeba5fc6e05dcabf7ae5 1788 agda-bin_2.2.10.orig.tar.gz
 99218f3abcc74716c581ba7343766275 2897 agda-bin_2.2.10-2.diff.gz

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

iQIcBAEBCAAGBQJN3PAhAAoJEONS1cUcUEHURnsP/iEmFRdYs2JtkYzj0+h08z0K
yrcST3BOFj4VvH+6NiKO73mrxBc71vfc+YKY240GgAm2+LDVzKjTsNzjuABJgNem
ZfQJ/qUj5fpF0glbVFBi3TpmDRcHHfFCd0X+IOkuCSik7Cb/5uLo+Y7Yn3orQS9u
RwSxXdVuwThVn44XWrTqEq2xPCjFqG6n5qPU1CwPtDkZAbuxh2kzVb32o+OMIAmc
hR4WRB1Pm4+xCRFjD7jT+jZHm4feVEFnVeCa+7QdU0x4/ck2bRoVmpb6ipOwJTDa
LraIgQlKj3nbEcIaj7+lKNw8QHBfrxWi+To2xblFuSv73pXJeOimntBAu3xvCLIB
o03h6eAnF42zuhjeU8zliInDfjNjrWzpmcm8WUbw1QX4tiCYdcvI1xiyE9TKR4DI
SLLzYKvZwQDlTOS7JFjHKUdeRZ9mRcCjMs8GVRsnflJuujZ33IoXQATTBq2EMkBs
Ij8zTHictOVxx+BTOry18dgQCGCx//T+gt6qkyTvah19EX64/hKOYyFgv2nbKlWX
rH4orc4d2tMWSY/QyvUU+1G1uwhK2a4vo9Bqn23UdiKNn+UIlpfQr62fMtXsqY5E
r5X6N6jZFlL/qy6ziE1vQEl3CFK5hWV8hMagrG+xGruSPtv0KQUlyV2ZR9M86HHK
bPNcytGSygk2/ozMmrvm
=qtbQ
-----END PGP SIGNATURE-----