-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 10 Apr 2013 11:46:43 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: source all amd64 Version: 2.3.2-1 Distribution: experimental 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 - development l libghc-agda-doc - dependently typed functional programming language - documentation Changes: agda (2.3.2-1) experimental; urgency=low . [ Kiwamu Okabe ] * New patch: Extend haskell-src-exts dependency and fix type miss. . [ Iain Lane ] * [dfbca48] Imported Upstream version 2.3.2 * [7746bcc] Remove all patches — all upstream. * [2cdb691] Update build-deps to match control file * [868ebf4] agda-mode no longer depends on haskell-mode or GHCi. Remove dependency and update .el file accordingly * [9e0ba22] Add agda-bin package here, as the separate package has been removed * [75a240f] agda-mode needs to depend on agda-bin * [d290f95] Allow Quickcheck up to 2.7. Fix haskeline build-dep. * [79190e6] Add missing geniplate and parallel BDs Checksums-Sha1: 6b9582487c46046c231eac93cf24679852d81c91 3383 agda_2.3.2-1.dsc ce44592d69a2ac1672bf522917db58b22c25e249 726462 agda_2.3.2.orig.tar.gz 85bd630eb8a325a0b920364a826059a89510deca 7233 agda_2.3.2-1.debian.tar.gz 2df1f9a9f83ddea010a83c8b6a331b3d9182173b 2134940 libghc-agda-doc_2.3.2-1_all.deb b655815a4c08f2272e3fcf98a771b7f2064c911d 49280 agda-mode_2.3.2-1_all.deb d925ee7164a4b9ba5e818f934352687826cb7959 13592 agda_2.3.2-1_all.deb 66ed8f2ee55ef7fd5f819d35030cdebeadcd677d 13593600 libghc-agda-dev_2.3.2-1_amd64.deb cf1a7ccfee64b2757809ec304b10a01a800f3c41 5353614 agda-bin_2.3.2-1_amd64.deb Checksums-Sha256: dc26ebcf29fd2255dbea4582dce89075365340aace5ce5af9491ab4794b0cbaa 3383 agda_2.3.2-1.dsc d47a0b2a0806ea5c109b59280211a47b980b47a8f6ac0ab9fca673f3d4c6e0f6 726462 agda_2.3.2.orig.tar.gz e637ce792cf71c2e11b3c1ff37e9561ac40bd07bc7a1be895cd99618f06f1118 7233 agda_2.3.2-1.debian.tar.gz 7288c956f17a7248d8ce720bc71093da3da55ce69aea8356e12b8bbfa135ebd2 2134940 libghc-agda-doc_2.3.2-1_all.deb 6053cab7c4bfc42c583e52c350b3b296e69eb4a32d41d3409b6066057a2fae27 49280 agda-mode_2.3.2-1_all.deb 623b3cccd74fa8e16c3e02dd8da089d473f11186ebc82e7ed489515bdc21493d 13592 agda_2.3.2-1_all.deb 7dad6acbfc4a6077935edefa7bb7522bb8567e47732903e2a985ca6826b943c1 13593600 libghc-agda-dev_2.3.2-1_amd64.deb 9e70e0705b732195db5097e3b7884e834c9cf9ca0e8f15c11dd0077ca8d9478d 5353614 agda-bin_2.3.2-1_amd64.deb Files: 41be1e59dfa61d63f17e39b25b0a01a5 3383 haskell extra agda_2.3.2-1.dsc 14be2406d7cf171317eb6ff459e78524 726462 haskell extra agda_2.3.2.orig.tar.gz de35fe5fdf6dcc0d5b0c59efbb76e638 7233 haskell extra agda_2.3.2-1.debian.tar.gz 1ced1e8a38737685e20152fd84b7b287 2134940 doc extra libghc-agda-doc_2.3.2-1_all.deb d6e2514a93693fcab257b090d5afae28 49280 misc extra agda-mode_2.3.2-1_all.deb 8a0249942b96874afe8c334573769cb2 13592 misc extra agda_2.3.2-1_all.deb a6f2126487037c20ca289205fa41a7ab 13593600 haskell extra libghc-agda-dev_2.3.2-1_amd64.deb 5aa89e7a8f6c2cbb05e815a068118747 5353614 haskell extra agda-bin_2.3.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJRZUphAAoJEONS1cUcUEHUuhsP/jcnH2F2mFFqkQGk+RbHA0Zz 9vemm2sefwVTPAfpxzCf/qCmtmz9C+aKki2v9vIXS9OIC0YhlHDCeVfgNIhLMug8 4gS2POB66pJVKxaK5dBUtVehqZoM7anx0mxbaKk9jxkv1Iw+EmI3oOHzpVtAWw6n w9cU+ZtboSnW2BRaRPcPIyo7kxI432NVYgqGXEp/U3Z+eMeK6vd0hwr5J4XB4hjC CUjcv1w3Z0KCMgIrsanMiLT0CwCFPC44HY/iDbmmGp1PTJO/i/rabrqSWq7fePCX OMEX5pga9ZPxM4r8wS9xlxqDIfKUjguBgqTaZQ3n3jXBe8KNAvKrYspzMhTiBTZ3 DG99wxzqeFBIhhbRLw1IqzSB29Nct/tSPVFC2sybVkCzYq6zDy5NoW7E1kxXdNIn qbLHxtKZkvbCeMTKPEKc95HViXB1UaSuKYqxvkGwr9s07tit2nPH5PO5BCnZwEPq pugKQoFxDKKQL3G7NB8OeGHeW/MgUiXTbIawtwUcugkin6Uw/HnV4CRo0oJ6O5/F WIdKk1B1VR3yslDS0T8xPsDGUr7LblZzCbcj/PUwPDxXoZfT+VD0NqgJE3+NAn/7 RisQjG+9HK4qgBh9naYerZc0HNVCpTUH/Ga5Iu/c+6g6b6bqq6DfponV7pOQ5TpI JjVRM6J6RI1LDJ/xfDVP =50uL -----END PGP SIGNATURE-----