Branches for Hoary
| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
| lp:ubuntu/hoary/coq | 1 Development | 2009-07-30 19:55:13 UTC |
4.
Reuploaded since powerpc .deb did not...
Author:
Stefano Zacchiroli
Reuploaded since powerpc .deb did not include native code executable |
|
| 1 → 1 of 1 result | First • Previous • Next • Last |
