Accepted agda-bin 2.2.8-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 18 Jan 2010 16:56:43 +0000
Source: agda-bin
Binary: agda-bin
Architecture: source amd64
Version: 2.2.8-1
Distribution: experimental
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@ubuntu.com>
Description:
agda-bin - Commandline interface to Agda
Changes:
agda-bin (2.2.8-1) experimental; urgency=low
.
* debian/control: Add Recommends on libghc6-agda-dev. This is required for
Agda.css to be available which is needed to build HTML docs.
* [3919b0b] Add gbp.conf to correctly build for experimental branch
* [d2892dd] Imported Upstream version 2.2.8
* [0964a2c] Update agda build-depends to version 2.2.8
Checksums-Sha1:
339f14230d02e29d43fc38f2efba4d69bb610916 1363 agda-bin_2.2.8-1.dsc
6426b3292a31e67a1831c0fa04f5ff2674c8ff07 1595 agda-bin_2.2.8.orig.tar.gz
985f7a28ddd9152649a8b09843bdf1cbada37ee7 2737 agda-bin_2.2.8-1.diff.gz
badfc9d6927413ec5e7bc4191a980a3d04613f0b 3035918 agda-bin_2.2.8-1_amd64.deb
Checksums-Sha256:
529dcbcf00c8997b3bd44dbb2e9596d7dc6b2d2eced7e4eb79fc9f5a15be2145 1363 agda-bin_2.2.8-1.dsc
df3c836a7bb0475338352398a9108c19ef78b0ad1e1e51efd3ec7f6cd2280c0f 1595 agda-bin_2.2.8.orig.tar.gz
76253b36936818d0f81dca7170807112e26ff94fececeee93e47b9d616b533f0 2737 agda-bin_2.2.8-1.diff.gz
ae74647eb3cc5378b4a78176094bdf1d7db40dd37b73b70cf16817dcee93d773 3035918 agda-bin_2.2.8-1_amd64.deb
Files:
060a2598133b7a6f0237ba6fd2199527 1363 haskell extra agda-bin_2.2.8-1.dsc
8bf232907a51c3feb62cb2b459a1fb9b 1595 haskell extra agda-bin_2.2.8.orig.tar.gz
e86f1b41f69b8d2e4c546a18e9c44111 2737 haskell extra agda-bin_2.2.8-1.diff.gz
4c2e2828681c622f08caeed356c0c479 3035918 haskell extra agda-bin_2.2.8-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iF4EAREKAAYFAk0I1mgACgkQBIoTAU7n/+N59gD+J/11ayq+xgzWexuxPp72VUut
plVxB5cN/dGR9nPeHjIA/0fgVBhouIdf1KEdfSXXrPvVR5rwl89GgM+bY7nz47Ch
=NHh+
-----END PGP SIGNATURE-----
Accepted:
agda-bin_2.2.8-1.diff.gz
to main/a/agda-bin/agda-bin_2.2.8-1.diff.gz
agda-bin_2.2.8-1.dsc
to main/a/agda-bin/agda-bin_2.2.8-1.dsc
agda-bin_2.2.8-1_amd64.deb
to main/a/agda-bin/agda-bin_2.2.8-1_amd64.deb
agda-bin_2.2.8.orig.tar.gz
to main/a/agda-bin/agda-bin_2.2.8.orig.tar.gz