Accepted agda 2.4.0.2-2 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 11 Aug 2014 11:55:48 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source all amd64
Version: 2.4.0.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Colin Watson <cjwatson@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.4.0.2-2) unstable; urgency=medium
.
* [e33e7a9] Pregenerate the Primitive.agdai interface file in
libghc-agda-dev, since agda users typically can't write to that
directory. Fixes agda-stdlib build.
Checksums-Sha1:
6aad6ec53227956d78b66c42ab84e906c8ce4572 3938 agda_2.4.0.2-2.dsc
f5fa794df2028ee3b251e631f431646533a075d4 7344 agda_2.4.0.2-2.debian.tar.xz
2c94e785bb412e68c66b074c44dacef0fa313dc5 1959856 libghc-agda-doc_2.4.0.2-2_all.deb
fcd8314bc96ee0c95f77724469b985c76ffa5c44 88336 agda-mode_2.4.0.2-2_all.deb
f99a9e07e7d96ef507830d62cca9a75c7e5ac94b 56362 agda_2.4.0.2-2_all.deb
3c6a068c1362b7c97f9c532fbc07f7790ad3d232 9789214 libghc-agda-dev_2.4.0.2-2_amd64.deb
83a6e720c76397bc9aa9c5b4d70e425d3351ebce 3919062 agda-bin_2.4.0.2-2_amd64.deb
Checksums-Sha256:
bbc4759081dcc4fa5279a403327b8a91a4fd1a2f51c3f4f9006d979cd8574487 3938 agda_2.4.0.2-2.dsc
f30965af1acb8536b62c77a01cab75907f61882aa4531a1b828b5cffba2156a2 7344 agda_2.4.0.2-2.debian.tar.xz
7412af0d3277c552df76923504fdfd5df283e57cd36e93a027e3534db9af429c 1959856 libghc-agda-doc_2.4.0.2-2_all.deb
faa7a61902fb1e38f7b788bf2cae0880d73b8984177e7badc6930084120b234f 88336 agda-mode_2.4.0.2-2_all.deb
d5201f682c2d0cdb32283feb47778824d2df56bef80d0d4b11aa0f643ceab5fb 56362 agda_2.4.0.2-2_all.deb
81779e775b1ce9cb13f5e8abb239fcb3daeec6dc2aefb7f4a027d5f008290355 9789214 libghc-agda-dev_2.4.0.2-2_amd64.deb
2618b833749234625f3afd8db8ea26ae78aeba6de606974875cf00c002bb61ac 3919062 agda-bin_2.4.0.2-2_amd64.deb
Files:
8c3aa8aaeb23ac53da0a9d5a6f7567ff 1959856 doc extra libghc-agda-doc_2.4.0.2-2_all.deb
fbe90088fd0b5e99499042943328ad0c 88336 misc extra agda-mode_2.4.0.2-2_all.deb
6f06a8f18cfecf7cf37fcb3cb5252a5a 56362 misc extra agda_2.4.0.2-2_all.deb
d0e369cfa14dec85f10aa8186cd867d4 9789214 haskell extra libghc-agda-dev_2.4.0.2-2_amd64.deb
6b336e3ba17bd0dec6d5d851fec429fa 3919062 haskell extra agda-bin_2.4.0.2-2_amd64.deb
48ca67c7974af0cc49045154aed4f8ca 3938 haskell extra agda_2.4.0.2-2.dsc
d3dd420ae900b03c91e0b8029320edf2 7344 haskell extra agda_2.4.0.2-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: Colin Watson <cjwatson@debian.org> -- Debian developer
iQIVAwUBU+inizk1h9l9hlALAQjy6RAAm3F+PiDMzZIhP3yp+Sw6AKiNMRqMB5fW
WorEkcgq+cuAeSlkZm54sKPIUiNpSTEQbuCrc1ne5m2/dKMKzL93YI6YJkgWgkzv
67TDU+wMRoBG3DJX3Vtf9EOupk06QbgEfWD245Mx7iS9Oh3JItbFU/0MExR2wRy1
baAuE9wO9fjDa46grcZWQZiF1UZWlTBouAoGN8IlKUUAK9mxq22inn++BzVa67RO
W5PMBNBUmRiik0ynnEYJy7x/TGdvJbK6iVScEVBJRLXW7WW9egnyEEoFIGAH5r1c
zCpU3Bl8QzGSFOKTtY2PRrnx6ppCEPihOvNXKTFHiAkO3r9Mg0GAhoH9s617ax1R
mlepf9SxzLRlQq2qb/WpQfIM+7tTcMHb0fhjh6s04HpKGlTn9UKwo4OR997/Ae6N
Au7dOWOYbZM5y1DRyZUqsWxXtpqGxGx8P+NkvSx3CuKwJORT2ROgjtb03W8FYBUj
8FmP5Gl2w5rRLbatDNSLIG5eYOrEIsFowiUYtjQxj64QMdYE5UKWmoQoj1zhfKTJ
eOI1EXvdZ2zK+5ZUnMXbjfyYSSj3XzABWdSrNXS5GmdaDYIhS58J0waVBqRAcaHH
xhNb2MubWmw03WBtwofBvYbAH8C3yKRN8Dhtx/U71RmQxs3bJAAQipmBwKx6GXd1
0upKcrxT9AM=
=9Wkz
-----END PGP SIGNATURE-----