-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 19 May 2011 13:43:17 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda Architecture: source all amd64 Version: 2.2.10-1 Distribution: sid Urgency: low Maintainer: Iain Lane <la...@ubuntu.com> Changed-By: Iain Lane <la...@ubuntu.com> 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 Changes: agda (2.2.10-1) unstable; urgency=low . * [60c4b8a] Imported Upstream version 2.2.10 * [81c6857] Add haskell-src-exts BD * [d0ce959] Add QuickCheck BDs * [5c875b0] Update short descriptions to reflect best practice * [705223c] d/copyright: Update copyright years * [ee8a4bc] GHC6 → GHC, for GHC 7 transition * [12d4e49] Standards-Version bump to 3.9.2, no changes required * [9244cc3] Add 'agda' meta package * [c28c44c] Relax BD on src-exts * [86be090] Backport upstream patch to add syb-0.3 compatibility * [828c999] Lexer: Compatibility with the new GHC * [db55ca5] Clean up some autogenerated files Checksums-Sha1: a361b275a03b6431b11f89f177e6b1b5e4f6a824 3124 agda_2.2.10-1.dsc d617a31bc7dab5fb701d56b09c18038adec96971 517723 agda_2.2.10.orig.tar.gz 4aaf66a933013766a0344a75cb17ec192d971b55 7201 agda_2.2.10-1.debian.tar.gz 1c7646a21742154c689bc1346fd980d4f5cd5be2 1473348 libghc-agda-doc_2.2.10-1_all.deb c9d5a1656cc12ee89ab22ad4dfbf3a6c05695164 40542 agda-mode_2.2.10-1_all.deb 4f0e9d210d311c511d2be8a455d98375aaf0fad0 9184 agda_2.2.10-1_all.deb 2e325b49bddaa3e36bbeeb6b1e4080342e97d9a8 10867202 libghc-agda-dev_2.2.10-1_amd64.deb Checksums-Sha256: 0cab12aea559f51818601e8d6c99892ce033b8c83a254d078deb38b998c6ffd7 3124 agda_2.2.10-1.dsc 5cd3b69a744b86b74344b790350d8a6f2b62f206f5a53a9cfad22cc3ca3309ae 517723 agda_2.2.10.orig.tar.gz 7f86a9ed0f70187a7877d5ef938b5d69c9eb7d276774b8ecae0f7a167702e32c 7201 agda_2.2.10-1.debian.tar.gz 6c81d079023a4cd5db32878b5c4e7602fcf32ea1fedf348a58f92e9754b6ce4a 1473348 libghc-agda-doc_2.2.10-1_all.deb 7b4ef2731dcfe79cacde75ece9b5570f4e3f5a476c4c5a9834d6cf17011eb8b7 40542 agda-mode_2.2.10-1_all.deb 50d6d5af95c185972896f755e48db918433cb9d7fe52d4873c5bad3177eb7833 9184 agda_2.2.10-1_all.deb 059801c49d08e19e4c18868c8525270dd00bf9e2bfe095643b79647fd092c37a 10867202 libghc-agda-dev_2.2.10-1_amd64.deb Files: 9db2301f57d3fe16cb824eb2f1063b49 3124 haskell extra agda_2.2.10-1.dsc eadb729a1755f1c6c8475d1621246fd8 517723 haskell extra agda_2.2.10.orig.tar.gz bea360bcdb2ec689ac60e098f49ace28 7201 haskell extra agda_2.2.10-1.debian.tar.gz 997cdbbe0250214002c6c9cd7c3f5784 1473348 doc extra libghc-agda-doc_2.2.10-1_all.deb c31e263076b2f1a770972011dc46c0a4 40542 misc extra agda-mode_2.2.10-1_all.deb d3e0da06486a7d34c6d0023683816c8d 9184 misc extra agda_2.2.10-1_all.deb 8e96b72b7149967d20b6b8f9383243fb 10867202 haskell extra libghc-agda-dev_2.2.10-1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCAAGBQJN1li+AAoJELmveeIey3rULzsQALIiT9OXStPGHHjxAUPuBxO4 MhHCD7EX5OlX3ZjBFDheUMkc8F//m4wXaLWfTO5nBRM0Afvv2QBal6NRQaYr6mwF X9+1aXSXVqG1r/zSPSRHSBM/JE43jKZ3xZJatsjp8BXRjtNyXeWCP6sAHLaY4kj3 snSp+zy7XijPRROs9nXv3MrdUewWr1g725pguPisp2HgdpnJWdfayX/mRACmv72I EetNwpI52EjygrB6JK/BAmwyHdCRSskik6g1XAugGAtAK4+DWHTZJh4aO5wv1Zte 6dd+eh68klZ0Jg0b9SclSBDl6QOwqy9SMXL7WY30Zv7TnxpuUIO95WAvb+/P4ENf LYiDhZR7jtW1URKBtjQn5Chy0rtsBEno6s19OfcmsQbY/+x6mKtlbyMt9bIQtf4I KSLOx0lP5das5HuoWg+2/LiZijLHcNIypr6dqR3R4FsmKbccNeXhM0oXEmwFCuyF UnNzi0SEp6EIc54ThDPTuG9VfB/srA0sGkNC+4i/R9RB9jWa9f+/zHmYKoUl5LPZ KRzodBFaPNtXGM9bo7wZLUv13Cq2MpaOShBKkIcwFbVyrrap25h4jQFnSbGwMUgx QFdXdv+RDFMIdc7NP08GBZcRUH9/kXAL+5q2mp1DT7jgSK1KuWD3G0jVBEPrq9XU 2RWKpgHt1uM4eGQcxuGI =piRh -----END PGP SIGNATURE----- Accepted: agda-mode_2.2.10-1_all.deb to main/a/agda/agda-mode_2.2.10-1_all.deb agda_2.2.10-1.debian.tar.gz to main/a/agda/agda_2.2.10-1.debian.tar.gz agda_2.2.10-1.dsc to main/a/agda/agda_2.2.10-1.dsc agda_2.2.10-1_all.deb to main/a/agda/agda_2.2.10-1_all.deb agda_2.2.10.orig.tar.gz to main/a/agda/agda_2.2.10.orig.tar.gz libghc-agda-dev_2.2.10-1_amd64.deb to main/a/agda/libghc-agda-dev_2.2.10-1_amd64.deb libghc-agda-doc_2.2.10-1_all.deb to main/a/agda/libghc-agda-doc_2.2.10-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/e1qnvqj-0002le...@franck.debian.org
