Branches for Vivid
| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
|
lp:ubuntu/ |
2 Mature | 2014-10-27 12:34:50 UTC |
14.
Recompile with coq 8.4pl4
Author:
Stéphane Glondu
Recompile with coq 8.4pl4 |
|
| 1 → 1 of 1 result | First • Previous • Next • Last |
