Debian
agda-bin package

Branches for Experimental

Name		Status	Last Modified	Last Commit
lp:debian/experimental/agda-bin		1 Development	2010-12-16 03:32:46 UTC 2010-12-16	4. * debian/control: Add Recommends on l... Author: Iain Lane Revision Date: 2010-01-18 16:56:43 UTC * debian/control: Add Recommends on libghc6-agda-dev. This is required for Agda.css to be available which is needed to build HTML docs. * [3919b0b] Add gbp.conf to correctly build for experimental branch * [d2892dd] Imported Upstream version 2.2.8 * [0964a2c] Update agda build-depends to version 2.2.8