Ubuntu
mathcomp-analysis package

Builds for mathcomp-analysis in Ubuntu Jammy

Jammy (22.04)
Builds

	s390x build of mathcomp-analysis 0.3.13-1 in ubuntu jammy PROPOSED Missing dependencies: libcoq-mathcomp-finmap Build started on 2022-03-06 on bos02-s390x-008 and finished on 2022-03-06 taking 1 minute — see the log
	s390x build of mathcomp-analysis 0.3.13-1 in ubuntu jammy PROPOSED Missing dependencies: libcoq-mathcomp-finmap Build started on 2022-03-06 on bos02-s390x-008 and finished on 2022-03-06 taking 1 minute — see the log
	riscv64 build of mathcomp-analysis 0.3.13-1 in ubuntu jammy PROPOSED Missing dependencies: libcoq-mathcomp-finmap Build started on 2022-03-06 on riscv64-qemu-lcy01-082 and finished on 2022-03-06 taking 12 minutes — see the log
	riscv64 build of mathcomp-analysis 0.3.13-1 in ubuntu jammy PROPOSED Missing dependencies: libcoq-mathcomp-finmap Build started on 2022-03-06 on riscv64-qemu-lcy01-082 and finished on 2022-03-06 taking 12 minutes — see the log
	ppc64el build of mathcomp-analysis 0.3.13-1 in ubuntu jammy PROPOSED Missing dependencies: libcoq-mathcomp-finmap Build started on 2022-03-06 on bos02-ppc64el-017 and finished on 2022-03-06 taking 1 minute — see the log
	ppc64el build of mathcomp-analysis 0.3.13-1 in ubuntu jammy PROPOSED Missing dependencies: libcoq-mathcomp-finmap Build started on 2022-03-06 on bos02-ppc64el-017 and finished on 2022-03-06 taking 1 minute — see the log
	armhf build of mathcomp-analysis 0.3.13-1 in ubuntu jammy PROPOSED Missing dependencies: libcoq-mathcomp-finmap Build started on 2022-03-06 on bos02-arm64-023 and finished on 2022-03-06 taking 2 minutes — see the log
	armhf build of mathcomp-analysis 0.3.13-1 in ubuntu jammy PROPOSED Missing dependencies: libcoq-mathcomp-finmap Build started on 2022-03-06 on bos02-arm64-023 and finished on 2022-03-06 taking 2 minutes — see the log
	arm64 build of mathcomp-analysis 0.3.13-1 in ubuntu jammy PROPOSED Missing dependencies: libcoq-mathcomp-finmap Build started on 2022-03-06 on bos02-arm64-044 and finished on 2022-03-06 taking 2 minutes — see the log
	arm64 build of mathcomp-analysis 0.3.13-1 in ubuntu jammy PROPOSED Missing dependencies: libcoq-mathcomp-finmap Build started on 2022-03-06 on bos02-arm64-044 and finished on 2022-03-06 taking 2 minutes — see the log
	amd64 build of mathcomp-analysis 0.3.13-1 in ubuntu jammy PROPOSED Build started on 2022-02-18 on lcy02-amd64-048 and finished on 2022-02-18 taking 5 minutes — see the log
	amd64 build of mathcomp-analysis 0.3.13-1 in ubuntu jammy PROPOSED Build started on 2022-02-18 on lcy02-amd64-048 and finished on 2022-02-18 taking 5 minutes — see the log