agda (2.3.2-1build2) saucy; urgency=low * Rebuild for new GHC ABIs.
Date: Mon, 27 May 2013 15:51:02 +0100 Changed-By: Colin Watson <[email protected]> Maintainer: Debian Haskell Group <[email protected]> https://launchpad.net/ubuntu/saucy/+source/agda/2.3.2-1build2
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 27 May 2013 15:51:02 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: source Version: 2.3.2-1build2 Distribution: saucy Urgency: low Maintainer: Debian Haskell Group <[email protected]> Changed-By: Colin Watson <[email protected]> Description: agda - dependently typed functional programming language agda-bin - commandline interface to Agda 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.3.2-1build2) saucy; urgency=low . * Rebuild for new GHC ABIs. Checksums-Sha1: bedf1095ee1127a61313dba0d3e065f4232ea17e 3463 agda_2.3.2-1build2.dsc e84f39b391b6b0dd32d518d1073375b7f1152e49 7424 agda_2.3.2-1build2.debian.tar.gz Checksums-Sha256: 58e0f70d2c593904180c6d9b8a23e989b4c8a79ad968947b67ea9e704ec531f3 3463 agda_2.3.2-1build2.dsc f1a28cc93ef62698ab502276c77e89a537abaecdaea376c5980cbfd20b304da8 7424 agda_2.3.2-1build2.debian.tar.gz Files: 59da704ffe9bd64ba32aee2dc5fa1461 3463 haskell extra agda_2.3.2-1build2.dsc f7e1fc0e9b54b83fa6a6cf62210f63bd 7424 haskell extra agda_2.3.2-1build2.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Colin Watson <[email protected]> -- Debian developer iQIVAwUBUaNy3zk1h9l9hlALAQiy+A/+Jbbc79kd9C/jCInbNk3yfZ8a+GLg0O4a ue30RQuAp6tWZCX7CL79aAzr0OR6dCU/VWbvIazbC80jhYQecd54h7jOa7irlbCj UVpncbRwzaIopLkuyHmYm5BiH6nBhIw7BX338skonSdflQ5toxZF7CaN44Ac2mML +hzMfzVMorFGAVgfwJu2buWRrfXCfT8p87RjndZOhfKOFD8nmlkbnoTuusBSC0y7 XwUg+Xblu5R2a4nqycPniV6lZJRewuq6Y9ln0A3nIw3JYohwlyJZlcE7cpg9SIxi knBgAXAd84m1hIfdm4mhzeNIehH+YeHDmWg4j91UZxy4PRb+TlwrhpP3582kob12 sh/EdOJq4+VjNiQIpP+W9soH0KPsk+D+DQRlNq4CIFhsSknf8G/4uCEv/0iccDmy TTaN21jR0ogjsyIeGYifscDKk2zIMA+5Rwpax4P/D8An50TWEbqUVFI0Ia7hR2dC VUccZ3cf6VLj2J6hR6bZGW31QbD9t33xZr5SVP8QBslVC7dH1IJgzmP70hp9OzFk 3yjV7fqeF1E/T2/xfC5nEHSCLF1aZ2iZY5JeB7A5osTeCCJWDboRkZViHaFESngc omUo4QsIsIWtFL272GFlgQiAhIhfOEVkt9MbLCQWdWjGWT6IIkJavzBFwAARS/ap 6cD8VpnId2U= =Nrf2 -----END PGP SIGNATURE-----
-- Saucy-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/saucy-changes
