-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 12 Mar 2012 14:12:34 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda Architecture: source all amd64 Version: 2.3.0.1-1 Distribution: unstable Urgency: low Maintainer: Debian Haskell Group <pkg-haskell-maintain...@lists.alioth.debian.org> Changed-By: Joachim Breitner <nome...@debian.org> Description: agda - dependently typed functional programming language agda-mode - dependently typed functional programming language — emacs mode libghc-agda-dev - dependently typed functional programming language - development l libghc-agda-doc - dependently typed functional programming language - documentation Closes: 663048 Changes: agda (2.3.0.1-1) unstable; urgency=low . * New upstream release, GHC-7.4.1 compatible (Closes: #663048) Checksums-Sha1: df533c568f743e1a16ac34d84d82224d799f22f6 2389 agda_2.3.0.1-1.dsc 9fe8bc82c1267f4974928b807a8701790a208c86 612342 agda_2.3.0.1.orig.tar.gz a1ea896558f797922c7bba1d61588bfe1fe03745 6506 agda_2.3.0.1-1.debian.tar.gz a4a21045a6184f0cf1af8da8382d480421661be5 1750174 libghc-agda-doc_2.3.0.1-1_all.deb 2604df5d618628959d1aba29f2253c747c309e43 45708 agda-mode_2.3.0.1-1_all.deb ef6929b357693685794a8df599d7e74ec39dff66 12784 agda_2.3.0.1-1_all.deb 3a2d986dc48e1c2c39408845d46d63f3cd309ddb 13055986 libghc-agda-dev_2.3.0.1-1_amd64.deb Checksums-Sha256: 1a07ca0236da960e78833ad60908b61c870ce4d84ac08f964d208def356c03c7 2389 agda_2.3.0.1-1.dsc 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338 612342 agda_2.3.0.1.orig.tar.gz c18bba9715b40f19e978608e7924fa50ac845837504aef0caf8767af6e71b2b8 6506 agda_2.3.0.1-1.debian.tar.gz 3ea2904a50364f1ea7df7dd49e491af349ca89084d4299a5ce7d1064743c24c0 1750174 libghc-agda-doc_2.3.0.1-1_all.deb 7141f4f57040406b0617e53cbcdd39c06de92576c1dbcc01e25bba17f0328b26 45708 agda-mode_2.3.0.1-1_all.deb fa378c00cd29a41b3e39e700610bab43035f9dc3a4f56a3edad447678dabba0f 12784 agda_2.3.0.1-1_all.deb 3fce41ee27eb20090155efc13aaea13b0f80c99ce0e6f76d12f51341f2e66501 13055986 libghc-agda-dev_2.3.0.1-1_amd64.deb Files: 3034d2df769f2477115989e0b3a77a3a 2389 haskell extra agda_2.3.0.1-1.dsc 3caa2466ae4f925dd37320336e2e839c 612342 haskell extra agda_2.3.0.1.orig.tar.gz a7e404fe4d04dcfc4e56fea3a7c04204 6506 haskell extra agda_2.3.0.1-1.debian.tar.gz a6eb3da9e794c0d8f1803a8507cffccd 1750174 doc extra libghc-agda-doc_2.3.0.1-1_all.deb 9563c64f524d065740fe0854416474e8 45708 misc extra agda-mode_2.3.0.1-1_all.deb 1c0bf8608db4d2fd09abc967b9df86d3 12784 misc extra agda_2.3.0.1-1_all.deb 70e7d0b7aae86ad17632cdaafa0ec875 13055986 haskell extra libghc-agda-dev_2.3.0.1-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iEYEARECAAYFAk9d+QYACgkQ9ijrk0dDIGwafQCeOmDgq/83tVsyjiiBL9VKOSPq 8nYAn1f6qG5lmsWAibacm+mcWJTPyZ7m =UX/W -----END PGP SIGNATURE----- Accepted: agda-mode_2.3.0.1-1_all.deb to main/a/agda/agda-mode_2.3.0.1-1_all.deb agda_2.3.0.1-1.debian.tar.gz to main/a/agda/agda_2.3.0.1-1.debian.tar.gz agda_2.3.0.1-1.dsc to main/a/agda/agda_2.3.0.1-1.dsc agda_2.3.0.1-1_all.deb to main/a/agda/agda_2.3.0.1-1_all.deb agda_2.3.0.1.orig.tar.gz to main/a/agda/agda_2.3.0.1.orig.tar.gz libghc-agda-dev_2.3.0.1-1_amd64.deb to main/a/agda/libghc-agda-dev_2.3.0.1-1_amd64.deb libghc-agda-doc_2.3.0.1-1_all.deb to main/a/agda/libghc-agda-doc_2.3.0.1-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/e1s75mi-0003e0...@franck.debian.org