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
-
- Branch: master
- Path: debian/changelog
- Repo size: 552960
- Browser: https://salsa.debian.org/ocaml-team/frama-c
- Last scan: 2024-12-02 11:24:05+00
- Next scan: 2024-12-08 11:44: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