coq-8.13-daily

Created by Jason Gross on 2020-12-07 and last modified on 2022-11-11

Description

Daily builds of Coq v8.13

Recipe information

Build schedule: (?)
Built daily
Owner:
Jason Gross
Base source:
lp:~jgross-h/coq/+git/coq
Debian version:
{debupstream}~{time}+{revno}-0~daily{revno:packaging}-{git-commit}
Daily build archive:
Coq Daily Builds (v8.13)
Distribution series:

Recipe contents

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