vimerbf pushed to branch upstream at Debian OCaml Maintainers / hol-light
Commits: b0c59ab7 by Bo YU at 2024-11-25T22:05:18+08:00 New upstream version 3.0.0 - - - - - 30 changed files: - + .github/workflows/main.yml - .gitignore - 100/bertrand.ml - 100/polyhedron.ml - Arithmetic/arithprov.ml - Arithmetic/definability.ml - Arithmetic/fol.ml - Arithmetic/godel.ml - Arithmetic/pa.ml - Arithmetic/sigmacomplete.ml - Arithmetic/tarski.ml - CHANGES - + Cadical/README - + Cadical/cadical.ml - + Cadical/cnf.ml - + Cadical/dimacs.ml - + Cadical/ldrup.ml - + Cadical/make.ml - + Cadical/test.ml - Complex/complex_grobner.ml - Divstep/idivstep.ml - EC/ccsm2.ml - EC/excluderoots.ml - EC/jacobian.ml - EC/nistp192.ml - EC/nistp224.ml - EC/nistp256.ml - EC/nistp384.ml - EC/nistp521.ml - EC/secp192k1.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/b0c59ab7cdf6a17fcaedbccae89a0a5aa9ccaf1d -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/commit/b0c59ab7cdf6a17fcaedbccae89a0a5aa9ccaf1d You're receiving this email because of your account on salsa.debian.org.
