Back to agda PTS page

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