Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / hol-light
Commits: af696434 by Stephane Glondu at 2023-01-31T10:50:33+01:00 New upstream version 20230128 - - - - - 16 changed files: - 100/arithmetic.ml - 100/arithmetic_geometric_mean.ml - 100/ballot.ml - 100/bertrand.ml - 100/cantor.ml - 100/combinations.ml - 100/constructible.ml - 100/cubic.ml - 100/descartes.ml - 100/dirichlet.ml - 100/e_is_transcendental.ml - 100/four_squares.ml - 100/fourier.ml - 100/friendship.ml - 100/heron.ml - 100/independence.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/af696434e1634725205f29e2752bd5bfa752b4dc -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/af696434e1634725205f29e2752bd5bfa752b4dc You're receiving this email because of your account on salsa.debian.org.
