coq-doc (8.15.2-3) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/ocaml-team/coq-doc.git
- Branch: master
- Path: debian/changelog
- Browser: https://salsa.debian.org/ocaml-team/coq-doc
- Last scan: 2022-08-11 06:51:10+00
- Next scan: 2022-08-19 16:17:00+00
- Merge requests: 1
- CI pipeline status: failed
- Debian changelog in Git:
coq-doc (8.15.2-3) unstable; urgency=medium * Add b-dep on OCaml's native compilers (Closes: #1014678). -- Julien Puydt <jpuydt@debian.org> Thu, 14 Jul 2022 12:16:36 +0200
- This branch is even with tag debian/8.15.2-3