Accepted agda 2.3.2-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 12 Jun 2013 10:44:41 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source all amd64
Version: 2.3.2-4
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-4) unstable; urgency=low
.
* [3d77fff] Build-Depend on ghc-ghci; we require this due to Template
Haskell
Checksums-Sha1:
2d0da6d3ad3f88966555464ff7ce64b94921abbf 3283 agda_2.3.2-4.dsc
d18d0abd227d6476af31db5d574e3773358dd419 7405 agda_2.3.2-4.debian.tar.gz
5481e8e86d5d38cf0b5bc398c53b986af037857f 2147366 libghc-agda-doc_2.3.2-4_all.deb
e125cb435f043c726f53711f348dd8ca8113a93e 49462 agda-mode_2.3.2-4_all.deb
b0e4bd9f813eeb0e24eeab407fcef729c472d3a9 13826 agda_2.3.2-4_all.deb
2aa2e5a8da7c60208edc018f9b80ac18db094841 13548188 libghc-agda-dev_2.3.2-4_amd64.deb
c3d81204e1b49891b0f37cc5656620453297f051 5351562 agda-bin_2.3.2-4_amd64.deb
Checksums-Sha256:
3e6839aca4946ab327b546dcb03f063c7dfb1628acd88026a124f16a3c95f9d7 3283 agda_2.3.2-4.dsc
94aeea5d3af5bee983e6f0da29d09c764c2dd085a4b7bade7ec0be8475e3e3d6 7405 agda_2.3.2-4.debian.tar.gz
a74705a390526894d38d46dd463c6decfc44f4a4fceb5357acfd1f442b45e20f 2147366 libghc-agda-doc_2.3.2-4_all.deb
05a664d2e44bb262142d55daae349ca7421630468d64be78b9abc83763271cb3 49462 agda-mode_2.3.2-4_all.deb
4c0824ea5c5cd63270187dba2493233583df80279b2051945299941d0160220e 13826 agda_2.3.2-4_all.deb
148c90ed56db00afa25e83bafa3aba563a7186278c718ba8f31e417bd6e914c8 13548188 libghc-agda-dev_2.3.2-4_amd64.deb
e7b6f9873785e2e23f8ff22f2ec8113b698fe26f6e58f5cbefdb0a035ee7a701 5351562 agda-bin_2.3.2-4_amd64.deb
Files:
124868653319fcbfe579c79012193a7f 3283 haskell extra agda_2.3.2-4.dsc
1d4765cfd43d13ca73b688764ad2133b 7405 haskell extra agda_2.3.2-4.debian.tar.gz
dedbc36779148e5864acb359acdacfc7 2147366 doc extra libghc-agda-doc_2.3.2-4_all.deb
bde660b4eab4e01769bf2cb990bc1b55 49462 misc extra agda-mode_2.3.2-4_all.deb
6a29b8f71bb9c3296156b99ff65d4593 13826 misc extra agda_2.3.2-4_all.deb
7bfc4c69110567c6957ab9a58a87b990 13548188 haskell extra libghc-agda-dev_2.3.2-4_amd64.deb
90001db658566bdab22d8b2cc5fe27ed 5351562 haskell extra agda-bin_2.3.2-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJRuE+UAAoJEONS1cUcUEHUZMIQALQ7snMumydLEToCWC/jhRLH
lOvS487EceTs74Z95czOM5UVR+vdDUsjViisri34VHCrmBoalyF8Pi+orUpMrK+h
CitggY5bZjZTRcOHKrPtHlnfngTO/Qx2XIMALzZywvWyNCi/gCdKjF1mGPbg8aoJ
3phccE0+Zr15eUUzItGRLqII/micV8xROxncFV4nz5mkOIFOq2SVWEBYwrTkoLP6
xgXipZweHEZ0mNqw+1lrM16eG5FC5et78l7jcPmnXZMTgrIfvCYbt4a49Nj64Cus
iCwQfD/gEleShu8eRYQjR0LYwgq8UUIgevtgSdhyFkt0PoA4thHell2BJcxYf6fr
PE7H4F0aJmUFAtX+GC+eAAnIwK5RXkUhuOy0uLLsW2LNYuG/VD5k+BMJJf6hJzEU
4odWARBpppRnZ39Q0I5/ax8zJ/cTdOisbTbKaQ/bJpO+7HiyQlHzYkbcRVheRsHR
pqU5mB2IcD40zG/rTUOm0SaxdJpEpUCkQrkFX/48T5piCwYcMQwI5OOWd7xt/jTi
KLU8pX89Bw7VckuzXLzOEdWUlKmysBV+XOLqByfAMhvVLuCD+WYopZC/tAVEx9dq
2oiSuVoEy5basPMLaMRl7YsLAWUpBXjezjyXTaJBmOwqVOU0ELYHyuyJdT47ZWY5
0WYmuYScKYaIfRBBxhMG
=VLJg
-----END PGP SIGNATURE-----