Branches for Jaunty

Name Status Last Modified Last Commit
lp:ubuntu/jaunty/coq 2 Mature 2009-07-30 19:56:36 UTC
13. No change rebuild against Ocaml 3.10.2

Author: Cesare Tirabassi
Revision Date: 2008-05-27 13:04:23 UTC

No change rebuild against Ocaml 3.10.2

11 of 1 result