ssreflect (1.12.0-1) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/ocaml-team/ssreflect.git
- Branch: master
- Path: debian/changelog
- Browser: https://salsa.debian.org/ocaml-team/ssreflect
- Last scan: 2021-03-01 14:04:13+00
- Next scan: 2021-03-07 18:53:00+00
- Debian changelog in Git:
ssreflect (1.12.0-1) unstable; urgency=medium * New upstream release. * Update test loadssreflect. * Standards-version 4.5.1 (no change) -- Ralf Treinen <treinen@debian.org> Sat, 02 Jan 2021 15:39:29 +0100
- This branch is even with tag debian/1.12.0-1