coq-float (1:8.10.0-1)
[PTS] [DDPO]
OK: VCS matches the version in the archive
- Git: https://salsa.debian.org/ocaml-team/coq-float.git
-
- Branch: master
- Path: debian/changelog
- Browser: https://salsa.debian.org/ocaml-team/coq-float
- Last scan: 2022-05-26 17:22:10+00
- Next scan: 2022-06-04 04:47:00+00
- Merge requests: 1
- Debian changelog in Git:
coq-float (1:8.10.0-1) unstable; urgency=medium
* Team upload
* New upstream release, compiles with coq 8.11.0 (closes: #953765)
* Add debian/upstream, containing the reference of the TPHOL paper
-- Ralf Treinen <treinen@debian.org> Mon, 16 Mar 2020 11:08:42 +0100
- This branch is even with tag debian/1%8.10.0-1