-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 16 Jun 2013 13:14:47 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: source all amd64 Version: 2.3.2.1-1 Distribution: unstable Urgency: low Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Iain Lane <laney@debian.org> Description: agda - dependently typed functional programming language agda-bin - commandline interface to Agda agda-mode - dependently typed functional programming language — emacs mode libghc-agda-dev - dependently typed functional programming language${haskell:ShortB libghc-agda-doc - dependently typed functional programming language${haskell:ShortB Changes: agda (2.3.2.1-1) unstable; urgency=low . * [8cfbabf] Imported Upstream version 2.3.2.1 * [74f34b0] Bump BD on mtl per .cabal file * [a3bff17] Drop Debian patches now obsoleted by this upstream release Checksums-Sha1: ece3f0ff43d7e0096ff3583a0cbc839517378050 3299 agda_2.3.2.1-1.dsc b0cb6fe0e95d75779d53e7c1d4d77a0c899ecc4e 730010 agda_2.3.2.1.orig.tar.gz d9a97a183f4e78bc717ce43499026e32dfa082b3 7250 agda_2.3.2.1-1.debian.tar.gz 5a14eaa164e34cb8441f4708ee2cdfdbe196e7ad 2148190 libghc-agda-doc_2.3.2.1-1_all.deb bfa2fc38c864125f574a9a2a8542c2e336340b6a 49498 agda-mode_2.3.2.1-1_all.deb 979ec3742f407cd3b7a6709954cc2754be9f0e9e 13868 agda_2.3.2.1-1_all.deb 37e394875533be26e8f67472019acb28e4e9def9 13572332 libghc-agda-dev_2.3.2.1-1_amd64.deb f9845201e81800c72cc9ab1844b845c26e90bc9d 5352610 agda-bin_2.3.2.1-1_amd64.deb Checksums-Sha256: 7513891fb9028aff78af21c0b81630bee866f5aaf6f2fc85c1356a643d659dc8 3299 agda_2.3.2.1-1.dsc 790e02ed9af8b9b65ea704b765fd9937444ec1351da9bc2547aa8e9034038eb6 730010 agda_2.3.2.1.orig.tar.gz 04cb5bdd141997222e9f7dac85746659ca917ed6575c8d9dd16eed6ee7f7560a 7250 agda_2.3.2.1-1.debian.tar.gz effa86a9d57ec861e3f84f8a38d05d3f5f4394e506607e5d5033b9e2377d798e 2148190 libghc-agda-doc_2.3.2.1-1_all.deb 18a3c3748533a7259e88c95703c2bb025e571f1a3d0ea96fa33cb2e4629355d3 49498 agda-mode_2.3.2.1-1_all.deb 1dc45a9e8cb080ececcf249f59c578a795d55faadc6da2acee6a9cdde3405a4d 13868 agda_2.3.2.1-1_all.deb bd2d79368f016ff9f277b9b3f3cfb00ce8764f9d0c97e820342f3a0edd9872e2 13572332 libghc-agda-dev_2.3.2.1-1_amd64.deb 75d0f8c649ed8097c1e78af2b6465861759d8a9559f99ce5ebd8643bb211cce1 5352610 agda-bin_2.3.2.1-1_amd64.deb Files: 6e7245173f8e86fb4484b2dd64942a69 3299 haskell extra agda_2.3.2.1-1.dsc b3549b00b8643426a09e94461764cf26 730010 haskell extra agda_2.3.2.1.orig.tar.gz 6317bd64690efce3630187d413e98eb1 7250 haskell extra agda_2.3.2.1-1.debian.tar.gz 3528c2a922c7b3c5b29d689b05751991 2148190 doc extra libghc-agda-doc_2.3.2.1-1_all.deb b79c92a4c281d5cef77c540495b4727d 49498 misc extra agda-mode_2.3.2.1-1_all.deb 26b2ede018209b84f054c7cfb01bf590 13868 misc extra agda_2.3.2.1-1_all.deb 819addc280594bc980595b492312b18f 13572332 haskell extra libghc-agda-dev_2.3.2.1-1_amd64.deb de9f6d398020e17e9732bbf3f21c04f7 5352610 haskell extra agda-bin_2.3.2.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRvfGSAAoJEONS1cUcUEHUue0P/jXJHa4sr1tJXyZSY9djvlmW ITbIaQBkX487Ip5fLTAT2cv2q16LKgijn9wuqC3EgO3Zb3LT0UVe6IoEOucq2Mv+ xTnmpaVOU7fl5Y6zugflBwew2LLG2+Bl+lkPqqDtMp4E52wNMuhtWnMFHx+KD1ko Y6cjgJEgRGJFeDF/4U+SVhJ24rmJkbuNjFzqznLnLBzchvt9GZPPRYG/h1AGynx4 RjzKoJI8bzdiLccrBQQOpaztOV341r45At156/NxLvKOPZUe6kWP6yfhkT2Vz50t Tc07F1pfjkdvlPMOZXAfRN6PSbDwynIZwQrPps+9cpHm8Flf3WgSFmlTMI9UnUkn y5qGMusCsnJaiH+0CXvNbK9Yv/DVNJfKRPVQyPpBs91MG/n9eo8LdGP6D2QdM/sY vfRpXuzFrJzGiTHxATHQ+8pVcYEKumUSJ99SBFJNrNkHQLNrS6yKrrMgueNjV9ql 4npQohlEb7yxaYk6wu5T2La8/NluXZiQhJdr64aQWMTO00As0W2eotoqswXgwwEn r3UKK/tQ6qRvKGDQjQqLjncC1e3401zVpYt3SqKMMYF9TUbgCRW6w0gRCTFR11oU 22tDAxMKy5P0ceKk+zl39jvimStsQm7r8daqd/DY7PPO+tlvocPJ4T+OmACzN6JE emr76mrUvyeVtaCsFYmH =gZEV -----END PGP SIGNATURE-----