vcswatch reports that
there is an error with this package's VCS, or the debian/changelog file inside
it. Please check the error shown below and try to fix it. You might have
to update the VCS URL in the debian/control file to point to the correct
repository.
fatal: repository 'https://anonscm.debian.org/git/cgit/pkg-ocaml-maint/packages/hol-light.git/' not found
![[bug history graph]](https://qa.debian.org/data/bts/graphs/h/hol-light.png){kind=link}