Builds for prover9-manual in Ubuntu Xenial
| 1 → 1 of 1 result | First • Previous • Next • Last |
|
|
i386 build of prover9-manual 0.0.200902a-2 in ubuntu saucy PROPOSED
Build started
on
komainu (i386/amd64)
and finished
taking
3 minutes
—
see the log
|
| 1 → 1 of 1 result | First • Previous • Next • Last |
