alt-ergo (2.0.0-7) [PTS] [DDPO]

NEW: VCS has unreleased changes: 2.0.0-8 > 2.0.0-7

Git: https://salsa.debian.org/ocaml-team/alt-ergo.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://salsa.debian.org/ocaml-team/alt-ergo
Last scan: 2021-06-10 07:54:11+00
Next scan: 2021-06-15 10:58:00+00

Debian changelog in Git:

alt-ergo (2.0.0-8) UNRELEASED; urgency=low

  * debian/copyright: use spaces rather than tabs to start continuation lines.
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
    Repository-Browse.

 -- Debian Janitor <janitor@jelmer.uk>  Sun, 16 Aug 2020 04:20:32 -0000

This branch is 4 commits ahead of tag debian/2.0.0-7

Git log:

commit 076dd5326ac34e33296d65220817826bf1963096
Merge: 21ae9c6 64c34f6
Author: Stéphane Glondu <glondu@debian.org>
Date:   Sun Aug 16 07:08:05 2020 +0000

    Merge branch 'lintian-fixes' into 'master'
    
    Fix some issues reported by lintian
    
    See merge request ocaml-team/alt-ergo!1

commit 64c34f61e618e6c1aad716b7282b151684648d96
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Sun Aug 16 04:21:57 2020 +0000

    Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse.
    
    Changes-By: lintian-brush
    Fixes: lintian: upstream-metadata-file-is-missing
    See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html
    Fixes: lintian: upstream-metadata-missing-bug-tracking
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html
    Fixes: lintian: upstream-metadata-missing-repository
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-repository.html

commit 1eff69f4d9377f701559a896b1e9bb90436ff99b
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Sun Aug 16 04:20:52 2020 +0000

    debian/copyright: use spaces rather than tabs to start continuation lines.
    
    Changes-By: lintian-brush
    Fixes: lintian: tab-in-license-text
    See-also: https://lintian.debian.org/tags/tab-in-license-text.html

commit 21ae9c635b686b69a70167a4eee17b1ac2c557d2
Author: Stephane Glondu <steph@glondu.net>
Date:   Fri Aug 14 10:53:16 2020 +0200

    Rely on ocamlvars.mk for override_dh_dwz