hol-light (20170109-2) [PTS] [DDPO]

ERROR:

Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/hol-light.git
Enter a full Vcs-* header, supported schemes are: Vcs-Bzr, Vcs-Cvs, Vcs-Darcs, Vcs-Git, Vcs-Hg, Vcs-Mtn, Vcs-Svn.
For Vcs-Git append -b branch to select the branch name; append [subdir] if the debian/ directory is not in the repository root.
The next upload will reset the information from the source package headers.
Branch: master
Path: debian/changelog
Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/hol-light.git
Last scan: 2019-05-24 00:14:20+00
Error: fatal: repository 'https://anonscm.debian.org/git/cgit/pkg-ocaml-maint/packages/hol-light.git/' not found
Next scan: 2019-05-24 20:54:00+00

Debian changelog in Git:

hol-light (20171023-1) unstable; urgency=medium

  * Imported upstream version 20171023
    with git hash 39d9bf8b2958a288905661f969e9ab25b5ed74aa
  * delete camlp5-7 patch - was applied upstream; refresh other patches
  * compat level 10, standards version 4.1.1
  * update rules with new pa_j implementation (Closes: #876533)
  * minor change in control file - Flyspeck is completed
  * update copyright file
  * clear executable bit deletion in rules - has been fixed upstream
  * change to priority optional as demanded by lintian
  * suggests python as demanded by lintian
  * exclude .pc directory during installation (Closes: #878615)
  * README.Debian: hints on native toplevel and testsuite updates
  * delete some trailing whitespace for lintian

 -- Hendrik Tews <hendrik@askra.de>  Sun, 29 Oct 2017 20:55:28 +0100

This branch is even with tag debian/20171023-1