Ubuntu
agda-stdlib package

Branches for Wily

Name		Status	Last Modified	Last Commit
lp:ubuntu/wily/agda-stdlib		1 Development	2015-05-20 12:33:35 UTC 2015-05-20	12. * [b306254] Imported Upstream version... Author: Iain Lane Revision Date: 2015-05-20 12:33:35 UTC * [b306254] Imported Upstream version 0.9 * [bb746af] Bump BDs and deps to ≥ 2.4.2.2
lp:ubuntu/wily-proposed/agda-stdlib		1 Development	2015-05-26 15:18:27 UTC 2015-05-26	12. * [b306254] Imported Upstream version... Author: Iain Lane Revision Date: 2015-05-20 12:33:35 UTC * [b306254] Imported Upstream version 0.9 * [bb746af] Bump BDs and deps to ≥ 2.4.2.2