coq-doc (8.6-1) [PTS] [DDPO]
ERROR:- Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/coq-doc.git
- Branch: master
- Path: debian/changelog
- Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq-doc.git
- Last scan: 2021-02-28 13:31:09+00
- Error: fatal: repository 'https://anonscm.debian.org/git/cgit/pkg-ocaml-maint/packages/coq-doc.git/' not found
- Next scan: 2021-03-01 16:00:00+00
- Debian changelog in Git:
coq-doc (8.6-1) unstable; urgency=medium * Team upload. * New upstream version 8.6 (Closes: #864468) * add myself to uploaders * bump standards version to 4.0.0 * fix build dependencies * changed Vcs fields to https * fixed missing axiom picture in FAQ * remove unterminated_string_literal patch (fixed upstream) * updated doc-base entries * added .gitignore in debian dir to ignore editor backups -- Hendrik Tews <hendrik@askra.de> Wed, 05 Jul 2017 22:29:28 +0200
- This branch is even with tag debian/8.6-1