Jason Gross

coq-8.7-daily

Created by Jason Gross on 2017-07-06 and last modified on 2022-11-11

Daily builds of Coq v8.7

Debian version:: {debupstream}~{time}+{revno}-0~daily{revno:packaging}-{git-commit}

Status	When complete	Distribution series	Archive
Successful build	on 2022-07-03 buildlog (22.3 KiB)	Trusty	Coq Daily Builds (v8.7)
coq - 8.7~git~202207030519+18489-0~daily308-b4ccafd1ff~ubuntu14.04.1	on 2022-07-03 buildlog (142.4 KiB)	amd64
coq - 8.7~git~202207030519+18489-0~daily308-b4ccafd1ff~ubuntu14.04.1	on 2022-07-03 buildlog (142.3 KiB)	i386
Successful build	on 2022-07-03 buildlog (23.3 KiB)	Xenial	Coq Daily Builds (v8.7)
coq - 8.7~git~202207030518+18489-0~daily308-b4ccafd1ff~ubuntu16.04.1	on 2022-07-03 buildlog (143.6 KiB)	amd64
coq - 8.7~git~202207030518+18489-0~daily308-b4ccafd1ff~ubuntu16.04.1	on 2022-07-03 buildlog (143.1 KiB)	i386
Successful build	on 2022-07-03 buildlog (25.0 KiB)	Focal	Coq Daily Builds (v8.7)
coq - 8.7~git~202207030518+18489-0~daily308-b4ccafd1ff~ubuntu20.04.1	on 2022-07-03 buildlog (166.9 KiB)	amd64
Successful build	on 2022-07-03 buildlog (25.0 KiB)	Bionic	Coq Daily Builds (v8.7)
coq - 8.7~git~202207030517+18489-0~daily308-b4ccafd1ff~ubuntu18.04.1	on 2022-07-03 buildlog (149.5 KiB)	amd64
coq - 8.7~git~202207030517+18489-0~daily308-b4ccafd1ff~ubuntu18.04.1	on 2022-07-03 buildlog (149.3 KiB)	i386
Successful build	on 2021-02-03 buildlog (23.1 KiB)	Focal	Coq Daily Builds (v8.7)
coq - 8.7~git~202102031425+18488-0~daily308-81ab3a7d50~ubuntu20.04.1	on 2021-02-03 buildlog (164.3 KiB)	amd64

# git-build-recipe format 0.4 deb-version {debupstream}~{time}+{revno}-0~daily{revno:packaging}-{git-commit}
lp:~jgross-h/coq/+git/coq v8.7
nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian v8.7