Branches for Jessie
| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
|
lp:debian/ |
1 Development | 2014-07-30 08:59:29 UTC |
20.
Recompile with coq 8.4pl4
Author:
Stéphane Glondu
Recompile with coq 8.4pl4 |
|
| 1 → 1 of 1 result | First • Previous • Next • Last |
