Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / hol-light
Commits: 24fdce1d by Stephane Glondu at 2023-10-23T14:51:28+02:00 New upstream version 20231021 - - - - - 7 changed files: - 100/reciprocity.ml - 100/wilson.ml - CHANGES - + Divstep/Makefile - + Divstep/README - + Divstep/divstep.ml - + Divstep/divstep_bounds.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/24fdce1ded7135f3b406eb48fa25db03a18de810 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/24fdce1ded7135f3b406eb48fa25db03a18de810 You're receiving this email because of your account on salsa.debian.org.
