hol-light (1:3.0.0-2) [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
- Repo size: 1179648
- Browser: https://salsa.debian.org/ocaml-team/hol-light
- Last scan: 2025-02-06 12:40:08+00
- Next scan: 2025-02-12 00:39:00+00
- Debian changelog in Git:
hol-light (1:3.0.0-2) unstable; urgency=medium * Team upload. * Remove libcoq-bignums on B-D from previous upload. -- Bo YU <tsu.yubo@gmail.com> Sun, 15 Dec 2024 21:49:40 +0800
- This branch is even with tag debian/1%3.0.0-2