Branches for Wily

Name Status Last Modified Last Commit
lp:ubuntu/wily/coq-doc 1 Development 2015-05-05 18:50:12 UTC
9. * New upstream release * Update debia...

Author: Stéphane Glondu
Revision Date: 2014-08-17 14:36:07 UTC

* New upstream release
* Update debian/watch
* Put debian/copyright in format 1.0
* Bump Standards-Version to 3.9.5

11 of 1 result