Ubuntu
agda package

Branches for Natty

Name		Status	Last Modified	Last Commit
lp:ubuntu/natty/agda		2 Mature	2011-02-24 18:27:06 UTC 2011-02-24	10. * [60c4b8a] Imported Upstream version... Author: Iain Lane Revision Date: 2011-02-24 18:27:06 UTC * [60c4b8a] Imported Upstream version 2.2.10 * [81c6857] Add haskell-src-exts BD * [e7b276a] Add QuickCheck BDs * [d807f09] Add new patch from upstream to build against versions of libraries in Debian