coq-doc (8.20.0-2) [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
- Repo size: 1564672
- Browser: https://salsa.debian.org/ocaml-team/coq-doc
- Last scan: 2025-03-28 03:59:06+00
- Next scan: 2025-04-05 20:55:00+00
- CI pipeline status: failed
- Debian changelog in Git:
coq-doc (8.20.0-2) unstable; urgency=medium * Add patch to compile with recent Python versions (Closes: #1093324, #1093100). -- Julien Puydt <jpuydt@debian.org> Thu, 23 Jan 2025 21:31:00 +0100
- This branch is even with tag debian/8.20.0-2