Ubuntu
agda package

Branches for Saucy

Name		Status	Last Modified	Last Commit
lp:ubuntu/saucy-proposed/agda		2 Mature	2013-06-16 13:14:47 UTC 2013-06-16	32. * [8cfbabf] Imported Upstream version... Author: Iain Lane Revision Date: 2013-06-16 13:14:47 UTC * [8cfbabf] Imported Upstream version 2.3.2.1 * [74f34b0] Bump BD on mtl per .cabal file * [a3bff17] Drop Debian patches now obsoleted by this upstream release
lp:ubuntu/saucy/agda		1 Development	2013-06-16 13:14:47 UTC 2013-06-16	32. * [8cfbabf] Imported Upstream version... Author: Iain Lane Revision Date: 2013-06-16 13:14:47 UTC * [8cfbabf] Imported Upstream version 2.3.2.1 * [74f34b0] Bump BD on mtl per .cabal file * [a3bff17] Drop Debian patches now obsoleted by this upstream release