[ubuntu/precise] agda 2.3.0-1build1 (Accepted)

[Iain Lane]

agda (2.3.0-1build1) precise; urgency=low

  * No-change rebuild for GHC ABIs

Date: Wed, 04 Jan 2012 00:27:08 +0000
Changed-By: Iain Lane <laney at ubuntu.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/precise/+source/agda/2.3.0-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 04 Jan 2012 00:27:08 +0000
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source
Version: 2.3.0-1build1
Distribution: precise
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Iain Lane <laney 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.3.0-1build1) precise; urgency=low
 .
   * No-change rebuild for GHC ABIs
Checksums-Sha1: 
 7390ad033f583ad90bdaf04e6ee2188cc4754dfc 3512 agda_2.3.0-1build1.dsc
 752c9ab46ed68c4249a9f0d7163612204347b2cc 6599 agda_2.3.0-1build1.debian.tar.gz
Checksums-Sha256: 
 4dcbc97ef3a3359ab92259f0779d436b4f4b3345b3c5b270b6692bc7bb113d2a 3512 agda_2.3.0-1build1.dsc
 adcef8c55996a6205cbd35adb3b352151c3cf4b63ea67ab750ba9ceb0f5f76c5 6599 agda_2.3.0-1build1.debian.tar.gz
Files: 
 efaaf299c4bf61cfe3c19ad1e66f8055 3512 haskell extra agda_2.3.0-1build1.dsc
 8085db6064557fdf27854fa9dc7f0045 6599 haskell extra agda_2.3.0-1build1.debian.tar.gz

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

iQIcBAEBCAAGBQJPA50eAAoJEONS1cUcUEHU6PAP/2zs3GZWh4ygbVzsTU19TTFq
46ZuiNnePRus+pJftotQiWamfKzNkE0qz2R9hjpPCeGx4Hqt4cOw5KGtqmOxaBQ5
7XSInXL5nPCcCb80f5wKmIkGpYz1WYMtwOCsKNWMkm/afgdneX5V5bZ95vLsFvWm
5SOE+Gi03G9n6Fsu1yRJD5hZyumMzNRDAodw7eDy9KVU9NcZf50Gn83WiS7Z0mSp
w2JRL6xIgtg5l6UjdPr4YZrtIXUKAGK80lyyxS50hyovkplnw1Et2iJw00Cv6vh6
pGZPRlwMxryKpI3egrY/x09Y16reGWy7cs2pYpcCbMrbf5SjojYzVzZch9vz/uyQ
HAio22dHcMdxiFTAeCJKInssYtLYutQJaUnW2dUk3ExoiCBVOnKlxZ4NkxoMnKtw
9wtsfWWpDfrgp7hayKMyYuNyUtoz4CTb2VRDEr14nqSOqCsufZDe9hzRwKZPFbCv
w1Dad2DgHAlJEWug96qPcjjI5gjIr331cX0Fh37wIRAQcekJPgTaecbc7jj6GRsw
sLgPUNMHoQgW0yeqGyEUoXezBey3QNPJLCVU/b7XJPmSoNjqyylEiBvKab+zstuE
xTuzGE13crPXtfYad5TPJPBUOmdvh+X+WKxmyb5S1A+WxbPuqchy9MKA+qVm4MSX
IBXbVVMK/JFv5b7x19PL
=YDZy
-----END PGP SIGNATURE-----