Ubuntu
agda-stdlib package

Branches for Utopic

Name		Status	Last Modified	Last Commit
lp:ubuntu/utopic/agda-stdlib		2 Mature	2014-08-12 10:22:32 UTC 2014-08-12	11. [f9da3dc] Build-Depend on FileManip t... Author: Iain Lane Revision Date: 2014-08-12 10:22:32 UTC [f9da3dc] Build-Depend on FileManip to fix GenerateEverything.hs generation
lp:ubuntu/utopic-proposed/agda-stdlib		1 Development	2014-08-12 10:22:32 UTC 2014-08-12	11. [f9da3dc] Build-Depend on FileManip t... Author: Iain Lane Revision Date: 2014-08-12 10:22:32 UTC [f9da3dc] Build-Depend on FileManip to fix GenerateEverything.hs generation