eprover (3.0.03+ds-1) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/math-team/eprover.git
- Branch: master
- Path: debian/changelog
- Repo size: 118784
- Browser: https://salsa.debian.org/math-team/eprover
- Last scan: 2024-03-25 15:43:58+00
- Next scan: 2024-04-01 10:53:00+00
- Merge requests: 1
- Debian changelog in Git:
eprover (3.0.03+ds-1) unstable; urgency=medium * New upstream release. * Refresh patches. * Fix clean target (Closes: #1044847). -- Julien Puydt <jpuydt@debian.org> Tue, 12 Dec 2023 15:15:05 +0100
- This branch is even with tag debian/3.0.03+ds-1