frama-c (20201209+titanium-4.1) [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
- Browser: https://salsa.debian.org/ocaml-team/frama-c
- Last scan: 2021-02-26 02:09:06+00
- Next scan: 2021-03-03 04:07:00+00
- Debian changelog in Git:
frama-c (20201209+titanium-4.1) unstable; urgency=medium * Non-maintainer upload * Fix new eva test dependencies and return in case of error (Closes: #982148) -- Gianfranco Costamagna <locutusofborg@debian.org> Thu, 11 Feb 2021 23:09:31 +0100
- This branch is even with tag debian/20201209+titanium-4.1