Ubuntu
minisat2 package

Builds for minisat2 in Ubuntu Bionic

  1. Bionic (18.04)
  2. Builds
1 → 19 of 19 results First • Previous • Next • Last
[FULLYBUILT] s390x build of minisat2 1:2.2.1-5build1 in ubuntu bionic PROPOSED
Build started on bos02-s390x-005 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of minisat2 1:2.2.1-5build1 in ubuntu bionic PROPOSED
Build started on bos02-s390x-005 and finished taking 2 minutes — see the log
[FULLYBUILT] ppc64el build of minisat2 1:2.2.1-5build1 in ubuntu bionic PROPOSED
Build started on bos02-ppc64el-002 and finished taking 2 minutes — see the log
[FULLYBUILT] ppc64el build of minisat2 1:2.2.1-5build1 in ubuntu bionic PROPOSED
Build started on bos02-ppc64el-002 and finished taking 2 minutes — see the log
[FULLYBUILT] i386 build of minisat2 1:2.2.1-5build1 in ubuntu bionic PROPOSED
Build started on lcy01-amd64-008 and finished taking 2 minutes — see the log
[FULLYBUILT] i386 build of minisat2 1:2.2.1-5build1 in ubuntu bionic PROPOSED
Build started on lcy01-amd64-008 and finished taking 2 minutes — see the log
[FULLYBUILT] armhf build of minisat2 1:2.2.1-5build1 in ubuntu bionic PROPOSED
Build started on bos02-arm64-040 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of minisat2 1:2.2.1-5build1 in ubuntu bionic PROPOSED
Build started on bos02-arm64-040 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of minisat2 1:2.2.1-5build1 in ubuntu bionic PROPOSED
Build started on bos02-arm64-037 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of minisat2 1:2.2.1-5build1 in ubuntu bionic PROPOSED
Build started on bos02-arm64-037 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of minisat2 1:2.2.1-5build1 in ubuntu bionic PROPOSED
Build started on lcy01-amd64-003 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of minisat2 1:2.2.1-5build1 in ubuntu bionic PROPOSED
Build started on lcy01-amd64-003 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of minisat2 1:2.2.1-5 in ubuntu xenial RELEASE
Build started on z13-013 and finished taking 1 minute — see the log
[FULLYBUILT] ppc64el build of minisat2 1:2.2.1-5 in ubuntu utopic PROPOSED
Build started on denneed04 (powerpc) and finished taking 2 minutes — see the log
[FULLYBUILT] powerpc build of minisat2 1:2.2.1-5 in ubuntu utopic PROPOSED
Build started on sulfur (powerpc) and finished taking 3 minutes — see the log
[FULLYBUILT] i386 build of minisat2 1:2.2.1-5 in ubuntu utopic PROPOSED
Build started on roseapple (i386/amd64) and finished taking 1 minute — see the log
[FULLYBUILT] armhf build of minisat2 1:2.2.1-5 in ubuntu utopic PROPOSED
Build started on kishi18 (highbank) and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of minisat2 1:2.2.1-5 in ubuntu utopic PROPOSED
Build started on beebe (arm64) and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of minisat2 1:2.2.1-5 in ubuntu utopic PROPOSED
Build started on brownie (i386/amd64) and finished taking 2 minutes — see the log
1 → 19 of 19 results First • Previous • Next • Last