Accepted agda 2.2.10-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 03 Sep 2011 23:11:17 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source all amd64
Version: 2.2.10-4
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@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
Changes:
agda (2.2.10-4) unstable; urgency=low
.
* [16d953e] Remove old left-around patches
* [af671fe] Explicitly add haskell-mode directory to load path.
Thanks to Joey Capper for discovering the bug.
* [6fa096d] Update to use my d.o email address
* [f228ca0] Add an alexGetByte function for alex-3.0 compatibility
Checksums-Sha1:
89f28c547aa1ee2604a9a39a749b2e256ea8665c 3111 agda_2.2.10-4.dsc
341bd3d5da5fbc8beae6febeb42c9556d94058b8 8043 agda_2.2.10-4.debian.tar.gz
1f2e6b692ea09e5fe029abacf8f30295eafcc529 1467020 libghc-agda-doc_2.2.10-4_all.deb
020f2c5420c65f96532bcaed89f9be27d527ade1 40428 agda-mode_2.2.10-4_all.deb
370e579bb7ac522d2578e3db04bf6559bad7f5e8 9468 agda_2.2.10-4_all.deb
dc3e2c35681dc8b580222236334e18d13e446c0a 10868270 libghc-agda-dev_2.2.10-4_amd64.deb
Checksums-Sha256:
f4e12b587a240053f138d893cd87c0e53c778ff6693908e41e56e49e9035950c 3111 agda_2.2.10-4.dsc
767c6f1c8a31710d328309638698b1f9d789d8e9f389dd604a07878324a72214 8043 agda_2.2.10-4.debian.tar.gz
f4f7e28dbce11180b6de0c6daf17e9da8092de2efff73a96a272f35015ed769d 1467020 libghc-agda-doc_2.2.10-4_all.deb
51926f0ca03c5ec065a1a8a5034a6fd6c9104ac3fd23d54d226829b9d91082e0 40428 agda-mode_2.2.10-4_all.deb
fd31755d8ef68c548de2e9a8011aa6104fe349e00d6a038a4ce6dbdd2785caf2 9468 agda_2.2.10-4_all.deb
2ddd96842ffee2e6c9476755bc494891e80d7337b840fa6324e3a0be81afd37e 10868270 libghc-agda-dev_2.2.10-4_amd64.deb
Files:
a0daeda3b6a19f136f8159e8603a1fb9 3111 haskell extra agda_2.2.10-4.dsc
94ca88b809d2bd5df688a957aa66551f 8043 haskell extra agda_2.2.10-4.debian.tar.gz
bd34b017b288a445af9530213bda4e8e 1467020 doc extra libghc-agda-doc_2.2.10-4_all.deb
8683631d4ad380b9d4871439ef867c4a 40428 misc extra agda-mode_2.2.10-4_all.deb
b88d09b63002f470a855eedb2bc0a259 9468 misc extra agda_2.2.10-4_all.deb
5c8d644d7f91b3131adee7272a73e40d 10868270 haskell extra libghc-agda-dev_2.2.10-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJOYqozAAoJEONS1cUcUEHUrGQP/2AU3aFbLCnHzxK8hZSYmQ+E
IXKKMHb5teOO3tmV7p5vRF2YdAI4FpUQ1VZeIG9hsBrBSr2jGHvSSug9D2ZemC6r
ru63ENESnQ10WD+/lgbYtO+v2xIu2Q1iQ8Jb3NHb1G2IR3iAI7xVV3I4w+jtzKlz
L6LnrSuGbAGj3vCMzqGZqlHSNRE5bntpQ1nxh9HQ/dSLciYKS5xnA6Y5quJsuPQT
pKKPO/5jOa8KWX75W3MlJXqLqUarpnlBdidH8cuaM1XRi8y+76yk0lTifFMHaobh
1hZSJj3USWKU9Ed2xsB7FescTtRbdU6kIHZcXwyCvZRoPm2OVuSEtwWtL6JIxK29
Cw38WTXWuAu5/6w7f5BxxvYaihvuOlKKYIYJ20k3sjrH3Iir4FKkhr4LkNmqcuuU
lLOnKD3SrZ3MXNmN5Z2hAuCSzujvcqly99H90exCl347RLGYdcGUuNgg9U68PmQJ
zFE9HsOjJoZkH+hNJMgf9BkCEMOnwWYwhGkUjO7ybN4EBoS+4PgyOZg6t3VUGA6Y
revA9spiMI7386aht77AvkGms6XF7BV6sSaQpkYG+OuJe8lQmEmejn/buD6S0i2Y
g+1rDdrhMo1WhmU7CY/maxiHylKO8wtChqir5KDagK9vRPKlXCi2bbpfFvV2RzBY
8A8KRO7Wnm10+VkWCIpI
=IDwj
-----END PGP SIGNATURE-----
Accepted:
agda-mode_2.2.10-4_all.deb
to main/a/agda/agda-mode_2.2.10-4_all.deb
agda_2.2.10-4.debian.tar.gz
to main/a/agda/agda_2.2.10-4.debian.tar.gz
agda_2.2.10-4.dsc
to main/a/agda/agda_2.2.10-4.dsc
agda_2.2.10-4_all.deb
to main/a/agda/agda_2.2.10-4_all.deb
libghc-agda-dev_2.2.10-4_amd64.deb
to main/a/agda/libghc-agda-dev_2.2.10-4_amd64.deb
libghc-agda-doc_2.2.10-4_all.deb
to main/a/agda/libghc-agda-doc_2.2.10-4_all.deb