Packages in “coq-ocaml42”
This PPA currently publishes packages for Precise.
Package totals
The following information is related to the total published packages in the repository (not on your system).
Package counters and estimated archive size temporarily unavailable.
View all builds Package build summary
A total of 27 builds have been created for this PPA.
- Completed builds
- 7 successful
- 18 failed
Packages
| 1 → 4 of 4 results | First • Previous • Next • Last |
| Source | Published | Status | Series | Section | Build Status | |
|---|---|---|---|---|---|---|
|
|
(changes file) | Published | Precise | Ocaml |
|
|
|
|
(changes file) | Published | Precise | Math |
|
|
|
|
(changes file) | Published | Precise | Ocaml |
|
|
|
|
(changes file) | Published | Precise | Tex |
|
|
| 1 → 4 of 4 results | First • Previous • Next • Last |
