Ubuntu
agda package

Branches for Quantal

Name Status Last Modified Last Commit
lp:ubuntu/quantal/agda 2 Mature 2012-08-27 12:15:30 UTC
25. No-change rebuild for GHC 7.4.2

Author: Iain Lane
Revision Date: 2012-08-27 12:15:30 UTC

No-change rebuild for GHC 7.4.2
1 → 1 of 1 result First • Previous • Next • Last