frama-c (20191204+calcium-0.1) [PTS] [DDPO]

OK: VCS matches the version in the archive

Git: https://salsa.debian.org/ocaml-team/frama-c.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/frama-c
Last scan: 2020-07-01 20:03:06+00
Next scan: 2020-07-08 01:04:00+00
Merge requests: 1

Debian changelog in Git:

frama-c (20191204+calcium-0.1) unstable; urgency=medium

  [ Dimitri John Ledkov ]
  * New upstream release (Closes: #944365)
  * Add dependencies on libyojson-ocaml-dev and libwhy3-ocaml-dev
  * Refresh patches
  * Drop patches now upstream:
    - 0006-Fix-installation-on-bytecode-architectures.patch
    - 0007-Fix-FTBFS-with-OCaml-4.05.0.patch
  [ Gianfranco Costamagna ]
  * Drop debian/README.Debian. We don't need to repack anymore the sources,
    because embedded libraries have been removed upstream

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Fri, 20 Mar 2020 19:14:20 +0100

This branch is even with tag debian/20191204+calcium-0.1