[ubuntu/quantal] agda 2.3.0.1-2build1 (Accepted)

[Iain Lane]

agda (2.3.0.1-2build1) quantal; urgency=low

  * No-change rebuild for GHC 7.4.2

Date: Mon, 27 Aug 2012 12:15:30 +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/quantal/+source/agda/2.3.0.1-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 27 Aug 2012 12:15:30 +0000
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source
Version: 2.3.0.1-2build1
Distribution: quantal
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.1-2build1) quantal; urgency=low
 .
   * No-change rebuild for GHC 7.4.2
Checksums-Sha1: 
 518d17a3f2599f2d8650108cabd21c866466f9ca 3055 agda_2.3.0.1-2build1.dsc
 82ed70613467dcdc3686e9583da6240879344293 6944 agda_2.3.0.1-2build1.debian.tar.gz
Checksums-Sha256: 
 fbeb343d4fe65f7ceda1f4d38258bdf05b312d12c3242bf63267659bae171825 3055 agda_2.3.0.1-2build1.dsc
 0c6a44d74d198e73ef5e66f8c0a7421d1db8e1fb60a1863fb7a50f3210e131ac 6944 agda_2.3.0.1-2build1.debian.tar.gz
Files: 
 1f8dedbcdd5d5011a51b83bfd64a8e0c 3055 haskell extra agda_2.3.0.1-2build1.dsc
 83ab570f65fbd01283118ee5aedb82f6 6944 haskell extra agda_2.3.0.1-2build1.debian.tar.gz

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

iQIcBAEBCgAGBQJQO2VSAAoJEONS1cUcUEHUYLIP/3TvQ7E+xpfWuF/40Tf3FADh
IFuGBmmDnP+iNKK3iBh6SAplsv8Zlh69EKK3t8wUCASbBKr2XaWFsd/3Dre+F2wm
rGqUoNVzX+awH1Z6URV9qaU/xJeFI4MumiaSg2ViWyPUfOVwqEHllYaKrtRUjM9a
X2KQOEIFtXdLNOU1SnIpS/MXhnv8mvGdh2/i4crYic2TvRPhzH3/iE4rvIBU6BZm
aW4oxXlJK9jJm0kAEIbum7zxxTuQg7Mjk4mZeEUfCCWBO8TlZxKEzXYTBhqZOpST
k2QkA+vRakAy+IR24OrtiCTuurlilryhZKRqPgpgKg8+N8NrGcVdc/xYQzYTMq2J
BGseOwLZUZ6WVtBm6gae7qQLZM0OrKESzuP1qKp2DphOH3VXXjuZpMD4PIALfIOG
9OX3uWhCkk95BH8+YEe7XUSfGiYAica0uh7TQt6XtR+DtAsVe6Ouv36BeA/Rkk2v
n6la9RF4AXBG4/hwmriIdM9ttiRI8MtXnRsR0+iUK1YEYI/EUntule52Kngu+R4k
icE9JZjmgVhYOONZLKmjtyWoHN+UbFU+oj9Qc71dK1EnqI4X6L6WeQWkqtsTSUc/
3ThPM1bpRHoO5YkyRnyqDxDFWjsHklU9JStVV56P2J+47sVMoHmbg9iOp5GwLCM/
XDLO8JKNbJyTyR+Hku0Z
=10AT
-----END PGP SIGNATURE-----