frama-c (20220511-manganese-5) [PTS] [DDPO]

OK: VCS matches the version in the archive

Git: https://salsa.debian.org/ocaml-team/frama-c.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: 552960
Browser: https://salsa.debian.org/ocaml-team/frama-c
Last scan: 2024-11-19 13:59:10+00
Next scan: 2024-11-26 08:55:00+00

Debian changelog in Git:

frama-c (20220511-manganese-5) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Team upload
  * Disable Why3 support (Closes: #1051485)
  * Depend on ocaml instead of transitional ocaml-nox

  [ Debian Janitor ]
  * Remove constraints unnecessary since buster (oldstable):
    + Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~).
    + Build-Depends: Drop versioned constraint on libocamlgraph-ocaml-dev (>=
      1.8.8).

 -- Stéphane Glondu <glondu@debian.org>  Sat, 09 Sep 2023 08:26:56 +0200

This branch is even with tag debian/20220511-manganese-5