Accepted agda 2.2.10-1 (source all amd64)
-----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 <laney@ubuntu.com>
Changed-By: Iain Lane <laney@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