prover9-manual (0.0.200902a-2.1) [PTS] [DDPO]

ERROR:

Git: git://git.debian.org/git/collab-maint/prover9-manual.git
JSON
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
Repo size:
Browser: http://git.debian.org/?p=collab-maint/prover9-manual.git
Last scan: 2024-04-19 17:24:01+00
Error: fatal: repository 'https://anonscm.debian.org/git/collab-maint/prover9-manual.git/' not found
Next scan: 2024-04-20 21:06:00+00

Debian changelog in Git:

prover9-manual (0.0.200902a-2) unstable; urgency=low

  [ Jari Aalto ]
  * QA upload.
  * Remove deprecated dpatch and upgrade to packaging format "3.0 quilt"
    (Closes: #664351).
  * Update to Standards-Version to 3.9.4, debhelper to 9, ${misc:Depends}.
  * Add build-arch and build-indep targets; use dh_prep in rules file.
  * Move Alioth repository from Bzr to Git (git-buildpackage).

  [ tony mancill ]
  * Update d/watch.  (Closes: #544791)
    - Thanks to both Adam D. Barratt and Bart Martens.

 -- tony mancill <tmancill@debian.org>  Fri, 03 May 2013 22:08:19 -0700

This branch is even with tag debian/0.0.200902a-2