Branches for Trusty

Name Status Last Modified Last Commit
lp:ubuntu/trusty/agda-stdlib 2 Mature 2013-10-19 11:00:19 UTC
9. Upload to unstable

Author: Iain Lane
Revision Date: 2013-05-27 19:29:25 UTC

Upload to unstable

11 of 1 result