Branches for Stretch
| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
|
lp:debian/ |
1 Development | 2015-05-26 23:28:52 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 |
