hol-light (20190729-4) [PTS] [DDPO]
OK: VCS matches the version in the archive- Git: https://salsa.debian.org/ocaml-team/hol-light.git
- Branch: master
- Path: debian/changelog
- Browser: https://salsa.debian.org/ocaml-team/hol-light
- Last scan: 2021-03-04 19:55:13+00
- Next scan: 2021-03-10 01:05:00+00
- Debian changelog in Git:
hol-light (20190729-4) unstable; urgency=medium * Team upload * Fix compilation with camlp5 7.11 -- Stéphane Glondu <glondu@debian.org> Wed, 12 Feb 2020 05:43:48 +0100
- This branch is even with tag debian/20190729-4