Branches for Sid
| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
| lp:debian/coq | 1 Development | 2015-10-13 17:26:06 UTC |
24.
Fix compilation with OCaml 4.02
Author:
Stéphane Glondu
Fix compilation with OCaml 4.02 |
|
| 1 → 1 of 1 result | First • Previous • Next • Last |
