Branches for Oneiric

Name Status Last Modified Last Commit
lp:ubuntu/oneiric/coq-doc 2 Mature 2011-05-06 10:36:59 UTC
6. * New upstream release * Make depende...

Author: Stéphane Glondu
Revision Date: 2011-05-06 10:36:59 UTC

* New upstream release
* Make dependencies of coq-doc versioned
* Bump debhelper compat level to 8
* Bump Standards-Version to 3.9.2

11 of 1 result