agda (2.2.10-3build1) oneiric; urgency=low * Rebuild for new libghc-src-exts-dev ABI.
Date: Sat, 09 Jul 2011 22:31:19 +0100 Changed-By: Colin Watson <[email protected]> Maintainer: Debian Haskell Group <[email protected]> Signed-By: Colin Watson <[email protected]> https://launchpad.net/ubuntu/oneiric/+source/agda/2.2.10-3build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 09 Jul 2011 22:31:19 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda Architecture: source Version: 2.2.10-3build1 Distribution: oneiric Urgency: low Maintainer: Debian Haskell Group <[email protected]> Changed-By: Colin Watson <[email protected]> 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-3build1) oneiric; urgency=low . * Rebuild for new libghc-src-exts-dev ABI. Checksums-Sha1: 608c996c836d7b4f44e181c90056653eaa5566ee 3204 agda_2.2.10-3build1.dsc e08a667858724c8fe25e023dcd2667cd38a76e9e 7663 agda_2.2.10-3build1.debian.tar.gz Checksums-Sha256: d8f1a3187d452d6cedf585d4f4682667240ba303d9e08a16920889f53ff2d575 3204 agda_2.2.10-3build1.dsc 2f5aa3f287091e3c1b59131119b5556e033c31631c20ba36882aeeefe161798d 7663 agda_2.2.10-3build1.debian.tar.gz Files: 1834fe9b0655e02276d566add29deb5d 3204 haskell extra agda_2.2.10-3build1.dsc d4e665a8b16c7589c9aa216c5e2c182f 7663 haskell extra agda_2.2.10-3build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Colin Watson <[email protected]> -- Debian developer iQIVAwUBThjIvjk1h9l9hlALAQiLyA//SPdHFGmX4QRARaudaU3nNgL/ixtWYadC LfeVH2IrpI1m5wrrQSk+O7ujyg15DFIjae9zG1A1Vl0YCl0gsSjJSauXHAzLlf6f uDZtDA/+JWTceUFCrp3sVCKZ1BMvFxFqHyZ//E81s9Er1Ac1SLy27sD68PATEk4X 8ajl1GWVgf9E/GytlDlg1+D3n2TgwuWXyNki7p3ZHi9A3VduJUSx36mi60IeIPAW lpTKks8L6XubE/eYqW92XCQIvXtn0InW28AAw2EJR51FzcOw15gK9iKp+Ho26gBl z5R9TFm8pBIatDDWhLly0aitTTKnpvGAeYWVSmBt0qgTeJeotJTQHdySB1A4pjaM 3K0wbmbanf7obGfCt1UMoho0vqEF4pKC983mIBrQyIzZu6QOj4LWXqif1mCQ5a9N ypM3xxHZGE+1nBnHxjd6uHA8MixW88sIdXoBGOOpvhH46bwvFV4Q0DCU0tx7WNzC jtony05X0Dy9cDpyLoppEETG/ezghLfEvXvpRBfOSctAj94/3z3k1Xon5vcrjLVo 3ZRP7x+MRCu5R24MF0CE7zUJIivid+0BiWRyWdv6IL0V3DNfqVkKeQR/TAt3yrjM bfXelSTdSJl7A2jAYl2ZsRSj1c7fDibwLkSkO5BmEkpTsaxEmI5+cRLLqd3DSy4p J1wLut5NxN8= =/8D8 -----END PGP SIGNATURE-----
-- Oneiric-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/oneiric-changes
