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
remote: The git server, Gitaly, is not available at this time. Please contact your administrator.
fatal: unable to access 'https://salsa.debian.org/ocaml-team/coq-libhyps.git/': The requested URL returned error: 503