Ubuntu
agda package

Branches for Trusty

Name		Status	Last Modified	Last Commit
lp:ubuntu/trusty/agda		2 Mature	2013-11-06 09:59:36 UTC 2013-11-06	35. * [244f29d] Use new watch file templa... Author: Iain Lane Revision Date: 2013-11-06 09:59:36 UTC * [244f29d] Use new watch file template * [16a3f05] Imported Upstream version 2.3.2.2 * [bdb8574] Update BDs to match cabal file * [9bc56ee] debian/patches/support-alex-3.1: Remove patch applied upstream in this release
lp:ubuntu/trusty-proposed/agda		1 Development	2013-11-06 09:59:36 UTC 2013-11-06	35. * [244f29d] Use new watch file templa... Author: Iain Lane Revision Date: 2013-11-06 09:59:36 UTC * [244f29d] Use new watch file template * [16a3f05] Imported Upstream version 2.3.2.2 * [bdb8574] Update BDs to match cabal file * [9bc56ee] debian/patches/support-alex-3.1: Remove patch applied upstream in this release