menhir (20250912+ds-1) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/ocaml-team/menhir.git
- Branch: master
- Path: debian/changelog
- Repo size: 1048576
- Browser: https://salsa.debian.org/ocaml-team/menhir
- Last scan: 2025-10-18 16:51:04+00
- Next scan: 2025-10-27 04:28:00+00
- CI pipeline status: failed
- Debian changelog in Git:
menhir (20250912+ds-1) unstable; urgency=medium * Team upload * New upstream release -- Stéphane Glondu <glondu@debian.org> Tue, 16 Sep 2025 02:04:20 +0200
- This branch is even with tag debian/20250912+ds-1