Ubuntu
cvc4 package

Builds for cvc4 in Ubuntu Groovy

Groovy (20.10)
Builds

	s390x build of cvc4 1.8-2 in ubuntu groovy PROPOSED Build started on 2020-09-30 on bos02-s390x-020 and finished on 2020-09-30 taking 18 minutes — see the log
	s390x build of cvc4 1.8-2 in ubuntu groovy PROPOSED Build started on 2020-09-30 on bos02-s390x-020 and finished on 2020-09-30 taking 18 minutes — see the log
	riscv64 build of cvc4 1.8-2 in ubuntu groovy PROPOSED Build started on 2020-09-30 on riscv64-qemu-lcy01-008 and finished on 2020-09-30 taking 3 hours 20 minutes — see the log
	riscv64 build of cvc4 1.8-2 in ubuntu groovy PROPOSED Build started on 2020-09-30 on riscv64-qemu-lcy01-008 and finished on 2020-09-30 taking 3 hours 20 minutes — see the log
	ppc64el build of cvc4 1.8-2 in ubuntu groovy PROPOSED Build started on 2020-09-30 on bos02-ppc64el-009 and finished on 2020-09-30 taking 28 minutes — see the log
	ppc64el build of cvc4 1.8-2 in ubuntu groovy PROPOSED Build started on 2020-09-30 on bos02-ppc64el-009 and finished on 2020-09-30 taking 28 minutes — see the log
	armhf build of cvc4 1.8-2 in ubuntu groovy PROPOSED Build started on 2020-09-30 on bos02-arm64-025 and finished on 2020-09-30 taking 2 hours — see the log
	armhf build of cvc4 1.8-2 in ubuntu groovy PROPOSED Build started on 2020-09-30 on bos02-arm64-025 and finished on 2020-09-30 taking 2 hours — see the log
	arm64 build of cvc4 1.8-2 in ubuntu groovy PROPOSED Build started on 2020-09-30 on bos02-arm64-017 and finished on 2020-09-30 taking 1 hour 10 minutes — see the log
	arm64 build of cvc4 1.8-2 in ubuntu groovy PROPOSED Build started on 2020-09-30 on bos02-arm64-017 and finished on 2020-09-30 taking 1 hour 10 minutes — see the log
	amd64 build of cvc4 1.8-2 in ubuntu groovy PROPOSED Build started on 2020-09-30 on lgw01-amd64-030 and finished on 2020-09-30 taking 47 minutes — see the log
	amd64 build of cvc4 1.8-2 in ubuntu groovy PROPOSED Build started on 2020-09-30 on lgw01-amd64-030 and finished on 2020-09-30 taking 47 minutes — see the log
	amd64 build of cvc4 1.6-2build2 in ubuntu focal PROPOSED Build started on 2020-02-03 on lgw01-amd64-001 and finished on 2020-02-03 taking 1 hour 10 minutes — see the log