coq (8.12.0-3) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/ocaml-team/coq.git
- Branch: master
- Path: debian/changelog
- Browser: https://salsa.debian.org/ocaml-team/coq
- Last scan: 2021-01-11 22:29:14+00
- Next scan: 2021-01-19 10:51:00+00
- CI pipeline status: failed
- Debian changelog in Git:
coq (8.12.0-3) unstable; urgency=medium * Upload to unstable -- Ralf Treinen <treinen@debian.org> Wed, 09 Sep 2020 21:16:07 +0200
- This branch is even with tag debian/8.12.0-3