-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 11 Dec 2010 15:39:21 +0000 Source: agda Binary: libghc6-agda-dev libghc6-agda-doc agda-mode Architecture: source all 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-mode - the emacs mode for Agda libghc6-agda-dev - a dependently typed functional programming language - development libghc6-agda-doc - a dependently typed functional programming language - documentati Changes: agda (2.2.8-1) experimental; urgency=low . * [ec6cfda] Imported Upstream version 2.2.8 * [597149f] Update emacs loading script to explicitly load haskell- ghci. If this is not present, then agda-mode will error out indicating that haskell-ghci is not available. * [b16f978] Standards-Version → 3.9.1, no changes required Checksums-Sha1: d62aeb9520446b35ee4c352aea4126092999f158 2328 agda_2.2.8-1.dsc 0b282335ea386b435f4f48db18c094cb8a0ac0bb 486580 agda_2.2.8.orig.tar.gz 42dfbcbac1efebdc7616a7779d5a79c1996844a2 5816 agda_2.2.8-1.debian.tar.gz 10e6931fe109057b8c1f6c8d1a8cc9ebc6b57514 1217564 libghc6-agda-doc_2.2.8-1_all.deb 930d3fe402204dbe86fafce6463ad1189b37f4fa 39730 agda-mode_2.2.8-1_all.deb 8dd9b70b9410c3da687c94cf232444241e5e1968 10674060 libghc6-agda-dev_2.2.8-1_amd64.deb Checksums-Sha256: f8b4a09841c786cebe3d4481426021ced309847a74a0f1b04526cdbdc170d7c2 2328 agda_2.2.8-1.dsc 2f4797feccb8535ed73b1a30c32faa801127ffec1056d39eb78a1638fad1421a 486580 agda_2.2.8.orig.tar.gz 717a08dc801f74e850f1bd6410ceea27871abb807123f64e97a8c102acfc0069 5816 agda_2.2.8-1.debian.tar.gz f433f458557cc58c2f7c1f02faa2d79c0febe0a7513066c24b47847fef73d1ad 1217564 libghc6-agda-doc_2.2.8-1_all.deb 30d25c6f8868c05d93069bdc9e9ed0ff269947972d64aafcd646456341e87448 39730 agda-mode_2.2.8-1_all.deb a76ff11656f1b43224b269e864e157b9d2680f1cc424b8e6844557f5aac18cb2 10674060 libghc6-agda-dev_2.2.8-1_amd64.deb Files: 66ccf25303996954252d700be074941b 2328 haskell extra agda_2.2.8-1.dsc d00688383d0bd7d387b2a7e97588124c 486580 haskell extra agda_2.2.8.orig.tar.gz 7ec81ecdb241239ee516283a6a4c0f02 5816 haskell extra agda_2.2.8-1.debian.tar.gz cd863e001b4de9f541903fc4f96b0bcc 1217564 doc extra libghc6-agda-doc_2.2.8-1_all.deb aba427cff345f834d0cb76f03b5d5c40 39730 misc extra agda-mode_2.2.8-1_all.deb a5e95be815727f4352f763bd664625c9 10674060 haskell extra libghc6-agda-dev_2.2.8-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iF4EAREKAAYFAk0I1mEACgkQBIoTAU7n/+M4tQD+O2AQZGNjWZlpT8CBBU0WwKqh 9w/TiuRxvfa1S/4U+YoBALmGpBeeV4TLHF2wDMTrOoiM7UBqs5lTmxzGf4Huc5VD =piOE -----END PGP SIGNATURE----- Accepted: agda-mode_2.2.8-1_all.deb to main/a/agda/agda-mode_2.2.8-1_all.deb agda_2.2.8-1.debian.tar.gz to main/a/agda/agda_2.2.8-1.debian.tar.gz agda_2.2.8-1.dsc to main/a/agda/agda_2.2.8-1.dsc agda_2.2.8.orig.tar.gz to main/a/agda/agda_2.2.8.orig.tar.gz libghc6-agda-dev_2.2.8-1_amd64.deb to main/a/agda/libghc6-agda-dev_2.2.8-1_amd64.deb libghc6-agda-doc_2.2.8-1_all.deb to main/a/agda/libghc6-agda-doc_2.2.8-1_all.deb -- 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/e1pssrt-0004je...@franck.debian.org