Ubuntu
agda-stdlib package

Branches for Quantal

Name Status Last Modified Last Commit
lp:ubuntu/quantal/agda-stdlib 2 Mature 2012-04-26 19:54:31 UTC
10. * Relax agda dependency a bit to allo...

Author: Joachim Breitner
Revision Date: 2012-03-14 10:30:26 UTC

* Relax agda dependency a bit to allow for minor releases
* Add the Debian Haskell Group as uploaders, by Iains suggestion
1 → 1 of 1 result First • Previous • Next • Last