Ubuntu
agda package

Branches for Karmic

Name		Status	Last Modified	Last Commit
lp:ubuntu/karmic/agda		1 Development	2009-09-02 15:13:02 UTC 2009-09-02	2. * New upstream release 2.2.4. * Repac... Author: Iain Lane Revision Date: 2009-07-20 19:49:41 UTC * New upstream release 2.2.4. * Repacked to fix a couple of DFSG problems, see debian/README.source for more information. * debian/copyright: Update, add missing copyright holders. * debian/control: Move ghc6-doc, haddock to Build-Depends. Move -doc packages to build-depends-indep.