Accepted agda 2.3.2-3 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 29 May 2013 14:06:03 +0200
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source all amd64
Version: 2.3.2-3
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Joachim Breitner <nomeata@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-3) unstable; urgency=low
.
* Clean up build dependencies
Checksums-Sha1:
454a202b64a744a9d607366740333d29eea0d72f 2633 agda_2.3.2-3.dsc
5f778e42b27a22ec9c39d20da7f3646e950382cf 7445 agda_2.3.2-3.debian.tar.gz
63803e7430b8b3a1b4e8fb1247a213000b11d689 2147842 libghc-agda-doc_2.3.2-3_all.deb
ea0905f77ded32555f41b98a033ab78aa489bb70 49466 agda-mode_2.3.2-3_all.deb
d6ffb46f261309d880400cc9c94eb0767d4be86c 13850 agda_2.3.2-3_all.deb
20406caa57bc9f0829a5b8ced73b7a1c158d3315 13561704 libghc-agda-dev_2.3.2-3_amd64.deb
741a0b3516c7bfb06bd55f8605edc6f5a6feec8f 5353692 agda-bin_2.3.2-3_amd64.deb
Checksums-Sha256:
4aadf0d755d9bdd1015f5ae699636d9d165345129159b8f53417a074a985522f 2633 agda_2.3.2-3.dsc
299ce1f5ae47782751a63113d4465845993b5dee266be2e11cccd7273a730218 7445 agda_2.3.2-3.debian.tar.gz
5564f61614d00cc580ab5bac9fafd4eb28c669f1bc3fb427b79ed68e170ad48d 2147842 libghc-agda-doc_2.3.2-3_all.deb
88a50a0180ab482036c55b9fa7eb07e65108c036a1ee6620ffa55270551ac425 49466 agda-mode_2.3.2-3_all.deb
71c7c9a8dd9a88175e411f6f7c391ba59724aa9a71309c2c569eab96d4b44a63 13850 agda_2.3.2-3_all.deb
5a54c0c1613525ec20d3565b58818883900fb81ba4bfb6e19772194d353b3dc7 13561704 libghc-agda-dev_2.3.2-3_amd64.deb
b994775fe88400430a093f9d2c7cfcea48af348874b07e46348f0bbf0f4ea48d 5353692 agda-bin_2.3.2-3_amd64.deb
Files:
21289c62dde97b270045de58bd8b101b 2633 haskell extra agda_2.3.2-3.dsc
e6ac594fbd330e04fec110bd8ef28ca4 7445 haskell extra agda_2.3.2-3.debian.tar.gz
2397b51118bdde76d1f1eca71a04dc05 2147842 doc extra libghc-agda-doc_2.3.2-3_all.deb
6ebd7dbd5934d479274920a18cca6ead 49466 misc extra agda-mode_2.3.2-3_all.deb
515a8c0e6854dc392d13006f5e48b8b3 13850 misc extra agda_2.3.2-3_all.deb
34d17169dcf68007351608d8cfedb4be 13561704 haskell extra libghc-agda-dev_2.3.2-3_amd64.deb
ea08ee3c8f0339acd0c7aec79a82dc9e 5353692 haskell extra agda-bin_2.3.2-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlGl+igACgkQ9ijrk0dDIGyPJQCfUNxy7jOQ+v7X8RiAGzbYpqrs
gX0AnAnODO+cKMJlFeeK9sM/WyffXP0d
=ajr6
-----END PGP SIGNATURE-----