psmt2-frontend (0.4.0-1) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/ocaml-team/psmt2-frontend.git
- Branch: master
- Path: debian/changelog
- Repo size: 106496
- Browser: https://salsa.debian.org/ocaml-team/psmt2-frontend
- Last scan: 2023-03-24 03:48:10+00
- Next scan: 2023-03-31 00:03:00+00
- Debian changelog in Git:
psmt2-frontend (0.4.0-1) unstable; urgency=medium * Initial release. (Closes: #1009116) -- Julien Puydt <jpuydt@debian.org> Mon, 18 Apr 2022 16:38:48 +0200
- This branch is even with tag debian/0.4.0-1