mathcomp-algebra-tactics (1.0.0-5) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics.git
- Branch: master
- Path: debian/changelog
- Browser: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics
- Last scan: 2022-06-21 15:19:05+00
- Next scan: 2022-06-27 06:00:00+00
- Debian changelog in Git:
mathcomp-algebra-tactics (1.0.0-5) unstable; urgency=medium * Add missing b-deps. -- Julien Puydt <jpuydt@debian.org> Mon, 13 Jun 2022 14:23:04 +0200
- This branch is even with tag debian/1.0.0-5