Ubuntu
prover9-manual package

Builds for prover9-manual in Ubuntu Saucy

  1. Saucy (13.10)
  2. Builds
1 → 3 of 3 results First • Previous • Next • Last
[FULLYBUILT] 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
[FULLYBUILT] 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
[FULLYBUILT] i386 build of prover9-manual 0.0.200902a-1 in ubuntu karmic RELEASE
Build started on palmer (i386) and finished taking 6 minutes — see the log
1 → 3 of 3 results First • Previous • Next • Last