vimerbf pushed to branch master at Debian OCaml Maintainers / hol-light
Commits: 7d05baa8 by Bo YU at 2024-11-26T12:43:57+08:00 clear some comments on d/watch again Signed-off-by: Bo YU <[email protected]> - - - - - 2ec8a7f7 by Bo YU at 2024-11-26T12:44:01+08:00 New upstream version 3.0.0 - - - - - a55105fc by Bo YU at 2024-11-26T12:44:01+08:00 refresh d/patches Signed-off-by: Bo YU <[email protected]> - - - - - 02f02b09 by Bo YU at 2024-11-26T12:44:01+08:00 Add libzarith-ocaml-dev and libcoq-bignums on B-D. Signed-off-by: Bo YU <[email protected]> - - - - - d864d1aa by Bo YU at 2024-11-26T12:44:02+08:00 Use make to build it Signed-off-by: Bo YU <[email protected]> - - - - - a262367c by Bo YU at 2024-11-26T12:44:02+08:00 delete default-hol-dir Signed-off-by: Bo YU <[email protected]> - - - - - 62963560 by Bo YU at 2024-11-26T12:44:02+08:00 no need to install usr/share/hol-light/* explitly Signed-off-by: Bo YU <[email protected]> - - - - - bcdd5f3d by Bo YU at 2024-11-26T12:44:03+08:00 Update d/copyright Signed-off-by: Bo YU <[email protected]> - - - - - 7a85c721 by Bo YU at 2024-11-26T12:44:03+08:00 Bump std-ver to 4.7.0 Signed-off-by: Bo YU <[email protected]> - - - - - f0aca060 by Bo YU at 2024-11-26T12:44:03+08:00 prepare for upload Signed-off-by: Bo YU <[email protected]> - - - - - 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/-/compare/97f5ab7d9cd25773b8ce56d46f3e2508bf7e2abe...f0aca060e26f95b12f8e2b13f45e56918a57eba2 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/compare/97f5ab7d9cd25773b8ce56d46f3e2508bf7e2abe...f0aca060e26f95b12f8e2b13f45e56918a57eba2 You're receiving this email because of your account on salsa.debian.org.
