-----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-maintain...@lists.alioth.debian.org> Changed-By: Iain Lane <la...@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 -- 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/e1qzyza-0005r3...@franck.debian.org