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 <[email protected]> Maintainer: Iain Lane <[email protected]> Origin: Debian/unstable https://launchpad.net/ubuntu/karmic/+source/agda-bin/2.2.4-1
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 <[email protected]> Changed-By: Iain Lane <[email protected]> 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
-- Karmic-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/karmic-changes
