[ubuntu/oneiric] agda 2.2.10-3build1 (Accepted)

Colin Watson cjwatson at ubuntu.com
Sat Jul 9 21:35:18 UTC 2011


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 <cjwatson at ubuntu.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Signed-By: Colin Watson <cjwatson at canonical.com>
https://launchpad.net/ubuntu/oneiric/+source/agda/2.2.10-3build1
-------------- next part --------------
-----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 <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Colin Watson <cjwatson at ubuntu.com>
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 <cjwatson at debian.org> -- 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-----


More information about the Oneiric-changes mailing list