ssreflect (1.7.0+dfsg-1) [PTS] [DDPO]

NEW: VCS has unreleased changes: 1.9.0+dfsg-1 > 1.7.0+dfsg-1

Git: https://salsa.debian.org/ocaml-team/ssreflect.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/ssreflect
Last scan: 2019-08-20 09:21:28+00
Next scan: 2019-08-25 14:08:00+00

Debian changelog in Git:

ssreflect (1.9.0+dfsg-1) unstable; urgency=medium

  * New upstream release.
    Repack upstream (remove docs/htmldoc/js/ and docs/javascripts/).
  * Build-depends: minimal coq version 8.7, according to opam file.
  * Standards-Version 4.4.0 (no change)
  * debian/libssreflect-coq.docs: ChangeLog => CHANGELOG.md

 -- Ralf Treinen <treinen@debian.org>  Tue, 20 Aug 2019 09:47:51 +0200

This branch is 5 commits ahead of tag debian/1.7.0+dfsg-1

Git log:

commit 03a8318804015731d9008cf270810a68697a0dbb
Author: Ralf Treinen <treinen@free.fr>
Date:   Tue Aug 20 09:50:11 2019 +0200

    installation of doc files: update name of upstream changelog file

commit bcc5a7dacd6a8e2cba6193583b23c1c7634ddb17
Author: Ralf Treinen <treinen@free.fr>
Date:   Tue Aug 20 09:26:57 2019 +0200

    standards-version 4.4.0

commit 0f904153c4a6857c0e27d6a10c9ae58f98e2ea0d
Author: Ralf Treinen <treinen@free.fr>
Date:   Tue Aug 20 09:26:07 2019 +0200

    bump build-dep on coq

commit 7b8e848ac8d31bca0845d81005613cdf192a2e6f
Merge: 3249023 687951e
Author: Ralf Treinen <treinen@free.fr>
Date:   Tue Aug 20 09:22:22 2019 +0200

    Update upstream source from tag 'upstream/1.9.0+dfsg'
    
    Update to upstream version '1.9.0+dfsg'
    with Debian dir a6ccf23bf271725101645be5d8739adb54b5c80a

commit 687951ebb9387dc1d0c5779a9e4c2074463c7415
Author: Ralf Treinen <treinen@free.fr>
Date:   Tue Aug 20 09:22:08 2019 +0200

    New upstream version 1.9.0+dfsg