Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / hol-light
Commits: 24fdce1d by Stephane Glondu at 2023-10-23T14:51:28+02:00 New upstream version 20231021 - - - - - 8de3e096 by Stephane Glondu at 2023-10-23T14:51:47+02:00 Update upstream source from tag 'upstream/20231021' Update to upstream version '20231021' with Debian dir 1c22d621c4ae36c72e65390f2b44ca7339c4a331 - - - - - ee87447e by Stephane Glondu at 2023-10-23T14:53:29+02:00 New upstream release - - - - - 98d86f2f by Stephane Glondu at 2023-10-23T14:53:29+02:00 Refresh patches - - - - - 0134dea4 by Stephane Glondu at 2023-10-23T15:27:30+02:00 Update packaging - - - - - 6a8d26ab by Stephane Glondu at 2023-10-23T15:27:30+02:00 Prepare upload to unstable - - - - - 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/-/compare/16df989c9f725348fa12c65589b9dbe688df7cb4...6a8d26abedcbfb5f2663ea22c4f0d72eb29c2dd3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/compare/16df989c9f725348fa12c65589b9dbe688df7cb4...6a8d26abedcbfb5f2663ea22c4f0d72eb29c2dd3 You're receiving this email because of your account on salsa.debian.org.
