[ubuntu/karmic] agda-bin 2.2.4-1 (Accepted)

[Ubuntu Installer]

agda-bin (2.2.4-1) unstable; urgency=low

  * Initial release (Closes: #537705)

Date: Wed,  19 Aug 2009 23:48:08 +0100
Changed-By: Iain Lane <launchpad at orangesquash.org.uk>
Maintainer: Iain Lane <laney at ubuntu.com>
Origin: Debian/unstable
https://launchpad.net/ubuntu/karmic/+source/agda-bin/2.2.4-1
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Wed,  19 Aug 2009 23:48:08 +0100
Source: agda-bin
Binary: agda-bin
Architecture: source
Version: 2.2.4-1
Distribution: karmic
Urgency: low
Maintainer: Iain Lane <laney at ubuntu.com>
Changed-By: Iain Lane <launchpad at orangesquash.org.uk>
Description: 
 agda-bin   - Commandline interface to Agda
Closes: 537705
Changes: 
 agda-bin (2.2.4-1) unstable; urgency=low
 .
   * Initial release (Closes: #537705)
Files: 
 154833912beca2abaa1f8701354f0821 1084 haskell optional agda-bin_2.2.4-1.dsc
 d488ba50c50974ea3621fbcfb9f2f869 1587 haskell optional agda-bin_2.2.4.orig.tar.gz
 0ff8f0287b472f1a30d3969560ea1de1 2093 haskell optional agda-bin_2.2.4-1.diff.gz