Debian
agda package

Branches for Sid

Name		Status	Last Modified	Last Commit
lp:debian/agda		1 Development	2015-08-04 14:46:23 UTC 2015-08-04	29. * [d59dba4] Revert modification of up... Author: Iain Lane Revision Date: 2015-08-04 14:46:23 UTC * [d59dba4] Revert modification of upstream source in a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied. * [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes: #793194)