Accepted agda 2.3.2-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 27 May 2013 19:13:14 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source all amd64
Version: 2.3.2-2
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-2) unstable; urgency=low
.
* Upload to unstable
* [0faee65] Use compat 9
* [02dba24] Standards Version → 3.9.4
* [bd2a43f] Use common substvars for description blurbs.
* [06ddb90] Remove obsolete DM-Upload-Allowed field
Checksums-Sha1:
feb36f9df4250a1cd996559a13129f9e79912782 3358 agda_2.3.2-2.dsc
15f5ebb5217483e5a87767744592bd73aad23b53 7353 agda_2.3.2-2.debian.tar.gz
e1735a6d394f0f76c86cc07be0bc152a37324440 2147660 libghc-agda-doc_2.3.2-2_all.deb
e9f5f6b0ee1ab4c4b60c86cadf43501c52c04bbd 49440 agda-mode_2.3.2-2_all.deb
8a0907b257c1c09d2497b540aad866e0e7b53511 13810 agda_2.3.2-2_all.deb
e343dae94d73fe188a3a497581e11ab5dba07d48 13593722 libghc-agda-dev_2.3.2-2_amd64.deb
a10b9e667e808c76ff8ba572be31e00229cc321e 5353460 agda-bin_2.3.2-2_amd64.deb
Checksums-Sha256:
0a8cb5be8166187bd6ba2b5a00bbf2097f62ef4e07faf7217fda8cd52e63bea4 3358 agda_2.3.2-2.dsc
9b280d11aa5fd26312957c82ec6c29328c619aa5b22fdbc51fe35117fd8bac5f 7353 agda_2.3.2-2.debian.tar.gz
7e957049f59040c79289523a988085cda401e593825c7064c1ccdbe25a482f1d 2147660 libghc-agda-doc_2.3.2-2_all.deb
2643fa2450ed1d6d43b7138264f603f077487dea34677a120a186ea1686855ad 49440 agda-mode_2.3.2-2_all.deb
3f0236ed9bc3f9e9f48c7378124cfa12a4ebe823c4ee75fe37efef47b680ffcf 13810 agda_2.3.2-2_all.deb
78b325948ac599accef4b781e4aabf19ef88128f89240aa8fd4724d1c3d35a21 13593722 libghc-agda-dev_2.3.2-2_amd64.deb
9cd939a82b4ca39f9d5dd88f55e55789d9aa87f1d454253a044cc298a828da69 5353460 agda-bin_2.3.2-2_amd64.deb
Files:
434f98902f74f19041d42f4c13a6dd80 3358 haskell extra agda_2.3.2-2.dsc
4c79df730c6d31d640001e7f12435d16 7353 haskell extra agda_2.3.2-2.debian.tar.gz
d91b5de393fe4421b06eb3f459f258a1 2147660 doc extra libghc-agda-doc_2.3.2-2_all.deb
70c37e0e0568ac67382360c6802f54e9 49440 misc extra agda-mode_2.3.2-2_all.deb
aab5fce7a0838eb92c3225061c6242f3 13810 misc extra agda_2.3.2-2_all.deb
44572d6590567d0e918a274e74ee7650 13593722 haskell extra libghc-agda-dev_2.3.2-2_amd64.deb
eb6f9e6006cebfa55a617bd2c884e5e5 5353460 haskell extra agda-bin_2.3.2-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJRo6lBAAoJEONS1cUcUEHUkZ4P/0+AJ6NmDE4V4boYcW7/8iCR
H/dPBC8utXjOyvXTZvR917t0Tpxn1fOksP1n++xtAZEs4YIsuwPrta4pViRYdNTe
/+RpT2T9WGJbXUMyQt3LCOl94etOODUlbk9mS7UqPoGZer8L/+heozec8BWOlkXt
nWdXhFDitw8bKiOJEh8+YJ3VDRKaawrrYAzbxXuua6W0PKxlcNyJh1DhhdfKxQfF
Z4M7qwzMAjgCQSScsfVwWJII/6yWQ9UPMDWyM5uGpxzxFDVFyknHbnknY5HPi43s
JCv8/YY3w9Fzx+wQjbLSronz+bakzDcEzofhHT6mP+dO8eSauUDR1tVaZxCFOcYw
W5DJZvY8QFFyaQq+OGaOg3CKtmyu6+5MjkzUTUEEG2247nip89t2fGqOcrNEOC5Q
g5w1SmNDmH9ZdWpeHDakKl77yIbYONW9bkdoUGYKHAbhzLcg6D6gOm2hs5FXf4Cd
5pL2OTSJhJJwQZp7gxweqEPD3hhHlgPKWGhKBYKLakdjVE495bbdkIoyhc7jX5VV
Vzvv2c8cbrkI/KO/brea1t9yFLlZpxyw25oKGFAAwj+3gAez86iNat51N3gAcgis
MKWbBnsKHkUNepwEku/uink0oiSfV4itE3aHmqhRj6qxOl/MDdeCOCym7Vokog9i
hInZMT78GxyxZymLWEJx
=n+UD
-----END PGP SIGNATURE-----