Back to agda PTS page

Accepted agda 2.3.2-1 (source all amd64)



-----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-----