[ubuntu/precise] agda 2.3.0.1-1build2 (Accepted)

[Iain Lane]

agda (2.3.0.1-1build2) precise; urgency=low

  * No change rebuild for haskell-hashtables

Date: Sat, 21 Apr 2012 17:18:26 +0100
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/precise/+source/agda/2.3.0.1-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 21 Apr 2012 17:18:26 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source
Version: 2.3.0.1-1build2
Distribution: precise
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Iain Lane <iain at orangesquash.org.uk>
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-1build2) precise; urgency=low
 .
   * No change rebuild for haskell-hashtables
Checksums-Sha1: 
 c12ec0538dd79f7c34c41adf776f14f5d32efc01 3053 agda_2.3.0.1-1build2.dsc
 9904af65bb46b81e343312ecfc987d29010b50ed 6631 agda_2.3.0.1-1build2.debian.tar.gz
Checksums-Sha256: 
 7e30d3725f3429ec5b9bb41865d4e58442e12413db30642ba1270fa45fb3dd74 3053 agda_2.3.0.1-1build2.dsc
 521af6b5e43c1a6a3c032bf59dec8c60431cb162799eb4b4077d6bc2fec8e0a1 6631 agda_2.3.0.1-1build2.debian.tar.gz
Files: 
 06108e21a6b540fe96df75e66bb9103c 3053 haskell extra agda_2.3.0.1-1build2.dsc
 c3f423d747c9dafe5db565945340e5ab 6631 haskell extra agda_2.3.0.1-1build2.debian.tar.gz