New Upstream Release - coq

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-05-24T12:29 (took 11m42s)
• Branch URL: https://salsa.debian.org/ocaml-team/coq.git -b master (taken from version 8.18.0+dfsg-1)

Schedule a new run

More details

Full run details

Historical runs

• quilt-patch-out-of-date: Quilt patch fix_debian_paths.patch no longer applies