Ubuntu
minisat+ package

Builds for minisat+ in Ubuntu Focal

  1. Focal (20.04)
  2. Builds
1 → 18 of 18 results First • Previous • Next • Last
[FULLYBUILT] riscv64 build of minisat+ 1.0-4build1 in ubuntu focal RELEASE
Build started on riscv64-qemu-lcy01-041 and finished taking 10 minutes — see the log
[FULLYBUILT] riscv64 build of minisat+ 1.0-4build1 in ubuntu focal RELEASE
Build started on riscv64-qemu-lcy01-041 and finished taking 10 minutes — see the log
[FULLYBUILT] s390x build of minisat+ 1.0-4build1 in ubuntu focal PROPOSED
Build started on bos02-s390x-014 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of minisat+ 1.0-4build1 in ubuntu focal PROPOSED
Build started on bos02-s390x-014 and finished taking 2 minutes — see the log
[FULLYBUILT] ppc64el build of minisat+ 1.0-4build1 in ubuntu focal PROPOSED
Build started on bos02-ppc64el-027 and finished taking 2 minutes — see the log
[FULLYBUILT] ppc64el build of minisat+ 1.0-4build1 in ubuntu focal PROPOSED
Build started on bos02-ppc64el-027 and finished taking 2 minutes — see the log
[FULLYBUILT] armhf build of minisat+ 1.0-4build1 in ubuntu focal PROPOSED
Build started on bos02-arm64-016 and finished taking 2 minutes — see the log
[FULLYBUILT] armhf build of minisat+ 1.0-4build1 in ubuntu focal PROPOSED
Build started on bos02-arm64-016 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of minisat+ 1.0-4build1 in ubuntu focal PROPOSED
Build started on bos02-arm64-043 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of minisat+ 1.0-4build1 in ubuntu focal PROPOSED
Build started on bos02-arm64-043 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of minisat+ 1.0-4build1 in ubuntu focal PROPOSED
Build started on lcy01-amd64-001 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of minisat+ 1.0-4build1 in ubuntu focal PROPOSED
Build started on lcy01-amd64-001 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of minisat+ 1.0-4 in ubuntu artful PROPOSED
Build started on z13-022 and finished taking 1 minute — see the log
[FULLYBUILT] ppc64el build of minisat+ 1.0-4 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-028 and finished taking 1 minute — see the log
[FULLYBUILT] i386 build of minisat+ 1.0-4 in ubuntu artful PROPOSED
Build started on lcy01-14 and finished taking 2 minutes — see the log
[FULLYBUILT] armhf build of minisat+ 1.0-4 in ubuntu artful PROPOSED
Build started on bos01-arm64-014 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of minisat+ 1.0-4 in ubuntu artful PROPOSED
Build started on bos01-arm64-031 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of minisat+ 1.0-4 in ubuntu artful PROPOSED
Build started on lcy01-13 and finished taking 1 minute — see the log
1 → 18 of 18 results First • Previous • Next • Last