[Pkg-haskell-maintainers] agda_2.4.0.2-2_amd64.changes ACCEPTED into unstable

Debian FTP Masters ftpmaster at ftp-master.debian.org
Mon Aug 11 11:33:57 UTC 2014



Accepted:

-----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 at lists.alioth.debian.org>
Changed-By: Colin Watson <cjwatson at 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 at 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-----


Thank you for your contribution to Debian.



More information about the Pkg-haskell-maintainers mailing list