Ubuntu
minisat2 package

Builds for minisat2 in Ubuntu Trusty

  1. Trusty (14.04)
  2. Builds
1 → 7 of 7 results First • Previous • Next • Last
[FULLYBUILT] ppc64el build of minisat2 1:2.2.1-4 in ubuntu trusty RELEASE
Build started on postal04 (ppc64el) and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of minisat2 1:2.2.1-4 in ubuntu trusty RELEASE
Build started on birch (arm64) and finished taking 2 minutes — see the log
[CANCELLED] arm64 build of minisat2 1:2.2.1-4 in ubuntu saucy RELEASE
Build started at an unknown time on an unknown build machine
[FULLYBUILT] powerpc build of minisat2 1:2.2.1-4 in ubuntu saucy PROPOSED
Build started on adare (powerpc) and finished taking 6 minutes — see the log
[FULLYBUILT] i386 build of minisat2 1:2.2.1-4 in ubuntu saucy PROPOSED
Build started on aatxe (i386/amd64) and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of minisat2 1:2.2.1-4 in ubuntu saucy PROPOSED
Build started on centaur (panda ES) and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of minisat2 1:2.2.1-4 in ubuntu saucy PROPOSED
Build started on panlong (i386/amd64) and finished taking 4 minutes — see the log
1 → 7 of 7 results First • Previous • Next • Last