why3 (1.8.0-2) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/ocaml-team/why3.git
- Branch: master
- Path: debian/changelog
- Repo size: 2519040
- Browser: https://salsa.debian.org/ocaml-team/why3
- Last scan: 2025-02-09 13:39:21+00
- Next scan: 2025-02-15 01:03:00+00
- CI pipeline status: failed
- Debian changelog in Git:
why3 (1.8.0-2) unstable; urgency=medium * Team upload * Add Breaks+Replaces to avoid file conflict (Closes: #1093827) -- Stéphane Glondu <glondu@debian.org> Sun, 02 Feb 2025 07:37:18 +0100
- This branch is even with tag debian/1.8.0-2