-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: agda Binary: libghc-agda-dev, libghc-agda-doc, agda-mode, agda Architecture: any all Version: 2.3.0.1-1build2 Maintainer: Debian Haskell Group Uploaders: Iain Lane Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 3.9.2 Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda.git;a=summary Vcs-Git: git://git.debian.org/git/pkg-haskell/agda.git Build-Depends: debhelper (>= 7.0), haskell-devscripts (>= 0.8), cdbs (>> 0.4.58), ghc, libghc-binary-dev, libghc-hashable-dev (>= 1.1), libghc-hashable-dev (<< 1.2), libghc-hashtables-dev (>= 1.0), libghc-hashtables-dev (<< 1.1), libghc-haskeline-dev (>= 0.3), libghc-haskeline-dev (<< 0.7), libghc-haskell-src-dev (>= 1.0.1.1), libghc-haskell-src-dev (<< 2), libghc-mtl-dev (>= 2.0), libghc-mtl-dev (<< 3), libghc-xhtml-dev (>= 3000.2), libghc-xhtml-dev (<< 3000.3), libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.6), libghc-src-exts-dev (>= 1.9.6), libghc-src-exts-dev (<< 1.12), libghc-quickcheck2-dev (>= 2.3), libghc-quickcheck2-dev (<< 2.5), libghc-syb-dev (>= 0.1), libghc-syb-dev (<< 0.4), happy (>= 1.15), happy (<< 2), alex (>= 2.3.1), libncurses5-dev Build-Depends-Indep: ghc-doc, libghc-binary-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-haskeline-doc, libghc-haskell-src-doc, libghc-mtl-doc, libghc-terminfo-doc, libghc-xhtml-doc, libghc-zlib-doc, libghc-src-exts-doc, libghc-quickcheck2-doc, libghc-syb-doc Package-List: agda deb misc extra agda-mode deb misc extra libghc-agda-dev deb haskell extra libghc-agda-doc deb doc extra Checksums-Sha1: 9fe8bc82c1267f4974928b807a8701790a208c86 612342 agda_2.3.0.1.orig.tar.gz 9904af65bb46b81e343312ecfc987d29010b50ed 6631 agda_2.3.0.1-1build2.debian.tar.gz Checksums-Sha256: 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338 612342 agda_2.3.0.1.orig.tar.gz 521af6b5e43c1a6a3c032bf59dec8c60431cb162799eb4b4077d6bc2fec8e0a1 6631 agda_2.3.0.1-1build2.debian.tar.gz Files: 3caa2466ae4f925dd37320336e2e839c 612342 agda_2.3.0.1.orig.tar.gz c3f423d747c9dafe5db565945340e5ab 6631 agda_2.3.0.1-1build2.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCAAGBQJPkt5jAAoJEONS1cUcUEHULPkQAKYdbOdC+UoT9+6f5pA6CVMO sfCv7huPv/dT4nr40mDLGziIw/Kno4OtIz8TCKmmTyHq2dXlC1UwP0rvYosObEO7 sLTf2+l3kffUW12/v5DsJ8PPPA3OvutPnCpRQfKdQgc0dyHX4pSYEEfOUYfp8zuo tsUuMq8L8UYZ9KWzV38JufXCnlYCN4e+UGIQQOarJcshV98qLMfAGqbHOp8/8Ckj EHfYNtlda0hWqWb4nDFADEQU6va0BPHAD/cnqygKycKYEbzBJkNcooBlUFEGqFwo yoXXqW7Nci1quvLAGYKh8oUSQg1UIBx9Ly4KASj7fMXr1q6G5lZve8SZg1sA1Fca q/y11ZGz6yAgt6DZf+UwYHXWF8L0JMlMxNMxi3cVBE25V02heGTSHc4wG3dqmGFI lAfPbn2iLyRZmvYXZLVdWbwsAmM9tL3CTjx5MKSVh8ooVESVsxOPVRVCV73U0Ajz fNh59Lvm5YF4qxUm5KCgTVM9HcWo9azuFKiDEAkIJU6HTu3uP8Z8y+jUU7FFjhKT CpCiEjB0mmWtBmuDoVNCg2IG61lb4PHaNeO1d7dIfh2+Yuz/2CCPRNlxiXfmX3u4 0oQ2eMPjX8Tt2SFPMh4wf5yQGefn02Jt9Syg2bkbg0AH4z17968+SN1UaNgZCWhR zoH2EskAah3TklRaqugP =1ZLt -----END PGP SIGNATURE-----