-----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-maintain...@lists.alioth.debian.org> Changed-By: Iain Lane <la...@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 -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1psss1-0004mb...@franck.debian.org