Accepted agda 2.2.4+dfsg-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 20 Jul 2009 19:49:41 +0100
Source: agda
Binary: libghc6-agda-dev libghc6-agda-prof haskell-agda-doc agda-mode
Architecture: source all amd64
Version: 2.2.4+dfsg-1
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@ubuntu.com>
Description:
agda-mode - the emacs mode for Agda
haskell-agda-doc - a dependently typed functional programming language - documentati
libghc6-agda-dev - a dependently typed functional programming language - development
libghc6-agda-prof - a dependently typed functional programming language - profiling l
Changes:
agda (2.2.4+dfsg-1) unstable; urgency=low
.
* New upstream release 2.2.4.
* Repacked to fix a couple of DFSG problems, see debian/README.source for
more information.
* debian/copyright: Update, add missing copyright holders.
* debian/control: Move ghc6-doc, haddock to Build-Depends. Move -doc
packages to build-depends-indep.
Checksums-Sha1:
d42939366af37ef505627f1fc06b0e643b6f1e41 3038 agda_2.2.4+dfsg-1.dsc
a0c37e98276daf2494681523a420976af1ecdd2e 377740 agda_2.2.4+dfsg.orig.tar.gz
f2113da18500a822e8562a298f063dcf376a4b7d 4129 agda_2.2.4+dfsg-1.diff.gz
1fe4a7cb502a03d42ba8d40873ea3051245a1032 1101996 haskell-agda-doc_2.2.4+dfsg-1_all.deb
0a5a0328f39c1454833f4c57f641a7fbbc50b70c 36642 agda-mode_2.2.4+dfsg-1_all.deb
f7030250b0bac677e9878f0cbff26f21da70237b 8571574 libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb
8b050088692bf22a69a7645310b1a0119a3aa055 13323126 libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb
Checksums-Sha256:
e3c5ec47ac38a2f9b168234cb94e22e1488ceff84b39582b5a75de31b2664743 3038 agda_2.2.4+dfsg-1.dsc
dd03db683812293d82f5875afb444f839760014275446b56797323d906f3c791 377740 agda_2.2.4+dfsg.orig.tar.gz
7ea71ec3800aff0a9ebb151fdfc3d1b5f4c897fe399f851d399d1efa9b22d9e7 4129 agda_2.2.4+dfsg-1.diff.gz
95f48e1c1d77f0b65dcb54f4ea21c40bf0fbe5deb602ab207b51f0485e22266f 1101996 haskell-agda-doc_2.2.4+dfsg-1_all.deb
b3b1a1aa9099a85f234ecbfed229d2f7b7f15dc496cabf509f4dcb663b753a91 36642 agda-mode_2.2.4+dfsg-1_all.deb
166f36f97dfe3af8f1e36323765bd4be82412cfd67df85c9476adfdb0f7315d8 8571574 libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb
579bbff1614b74c333b0d2a23c2d0fa3829fc310e03abcaebea0c2a6df56733b 13323126 libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb
Files:
49bd6d205a6456080a936d9d901d750b 3038 haskell optional agda_2.2.4+dfsg-1.dsc
438d3ed44ec0b37b569fe9d8891612d9 377740 haskell optional agda_2.2.4+dfsg.orig.tar.gz
3b4f51e56fc35068953b938c81a7e1b5 4129 haskell optional agda_2.2.4+dfsg-1.diff.gz
e157e16b10cf6817317d9d9de94b9e5b 1101996 doc optional haskell-agda-doc_2.2.4+dfsg-1_all.deb
fc6bd2eb5e8408f4ec5f82ad7cf722fe 36642 misc optional agda-mode_2.2.4+dfsg-1_all.deb
6d9bf1c5ddac11f8505494d742f19e39 8571574 haskell optional libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb
d66b61317d077674bf8d569f16fa6d40 13323126 haskell optional libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkplvzgACgkQ9ijrk0dDIGx0ygCeOnvR2ah/jl7AVWwg/BoB4jIm
RJYAn3NOmhAZAH1FYhEfVIRrpPZJdJY5
=gqA9
-----END PGP SIGNATURE-----
Accepted:
agda-mode_2.2.4+dfsg-1_all.deb
to pool/main/a/agda/agda-mode_2.2.4+dfsg-1_all.deb
agda_2.2.4+dfsg-1.diff.gz
to pool/main/a/agda/agda_2.2.4+dfsg-1.diff.gz
agda_2.2.4+dfsg-1.dsc
to pool/main/a/agda/agda_2.2.4+dfsg-1.dsc
agda_2.2.4+dfsg.orig.tar.gz
to pool/main/a/agda/agda_2.2.4+dfsg.orig.tar.gz
haskell-agda-doc_2.2.4+dfsg-1_all.deb
to pool/main/a/agda/haskell-agda-doc_2.2.4+dfsg-1_all.deb
libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb
to pool/main/a/agda/libghc6-agda-dev_2.2.4+dfsg-1_amd64.deb
libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb
to pool/main/a/agda/libghc6-agda-prof_2.2.4+dfsg-1_amd64.deb
Reply to: