[ubuntu/lucid] agda-bin 2.2.6-1build1 (Accepted)

Iain Lane laney at ubuntu.com
Wed Feb 3 14:50:15 GMT 2010


agda-bin (2.2.6-1build1) lucid; urgency=low

  * Rebuild to pick up new libghc6-agda-* 2.2.6-2

Date: Wed, 03 Feb 2010 11:06:09 +0000
Changed-By: Iain Lane <laney at ubuntu.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Signed-By: Iain Lane <launchpad at orangesquash.org.uk>
https://launchpad.net/ubuntu/lucid/+source/agda-bin/2.2.6-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 03 Feb 2010 11:06:09 +0000
Source: agda-bin
Binary: agda-bin
Architecture: source
Version: 2.2.6-1build1
Distribution: lucid
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Iain Lane <laney at ubuntu.com>
Description: 
 agda-bin   - Commandline interface to Agda
Changes: 
 agda-bin (2.2.6-1build1) lucid; urgency=low
 .
   * Rebuild to pick up new libghc6-agda-* 2.2.6-2
Checksums-Sha1: 
 a1c4fcf51eae0236bd56bb22df271a5bf89707a9 1356 agda-bin_2.2.6-1build1.dsc
 a239c41c8f94518c80b37e99003573e897a7ef0c 2503 agda-bin_2.2.6-1build1.diff.gz
Checksums-Sha256: 
 87030f8d13985700eb49c4d6aa029d98e5cfad8491676dba08d64b2477159818 1356 agda-bin_2.2.6-1build1.dsc
 e04822589263a2d0b0242cfbef7b4f3b92bee7c7700fdf8982056f7e13066342 2503 agda-bin_2.2.6-1build1.diff.gz
Files: 
 410efd3d6aed18e16d02907104baad9d 1356 haskell extra agda-bin_2.2.6-1build1.dsc
 28ea18f0954b3d8958f6098707475a1a 2503 haskell extra agda-bin_2.2.6-1build1.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAktpWOgACgkQPy0SnCC/zccLIwCeIcQTbXl7ZCplGlvk2PSR5ykX
PawAoK4OHCAo9cc/rvJM02l854KoU32F
=oJ9y
-----END PGP SIGNATURE-----


More information about the Lucid-changes mailing list