proofgeneral (4.5-2) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/math-team/proofgeneral.git
- Branch: master
- Path: debian/changelog
- Repo size: 110592
- Browser: https://salsa.debian.org/math-team/proofgeneral
- Last scan: 2024-09-29 07:55:11+00
- Next scan: 2024-10-04 23:46:00+00
- Debian changelog in Git:
proofgeneral (4.5-2) unstable; urgency=medium * Add missing Vcs-* fields in d/control. * Add missing debian/upstream/metadata. * Preparing for upload (Closes: #1077116). -- Julien Puydt <jpuydt@debian.org> Tue, 17 Sep 2024 07:44:44 +0200
- This branch is even with tag debian/4.5-2