Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / hol-light
Commits: 72a0a1a1 by Stephane Glondu at 2022-01-02T06:14:26+01:00 Update packaging - - - - - af696434 by Stephane Glondu at 2023-01-31T10:50:33+01:00 New upstream version 20230128 - - - - - 3ac943ac by Stephane Glondu at 2023-01-31T10:52:00+01:00 Merge tag 'upstream/20230128' Upstream version 20230128 - - - - - 4374c982 by Stephane Glondu at 2023-01-31T10:53:16+01:00 New upstream release - - - - - 9c066c59 by Stephane Glondu at 2023-01-31T10:58:51+01:00 Refresh patches and remove obsolete ones - - - - - 5181e824 by Stephane Glondu at 2023-01-31T11:59:39+01:00 Use a custom toplevel It needs compiler-libs and camlp-streams linked in. - - - - - b35cc977 by Stephane Glondu at 2023-01-31T12:09:35+01:00 Update packaging - - - - - 287a8638 by Stephane Glondu at 2023-01-31T12:10:14+01:00 Update changelog and prepare upload to unstable - - - - - 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/-/compare/13aafeb53db8a66bd44d2a37902d5686776c34f9...287a86388e7e750bb84dc6617e8264728945ad6f -- View it on GitLab: https://salsa.debian.org/ocaml-team/hol-light/-/compare/13aafeb53db8a66bd44d2a37902d5686776c34f9...287a86388e7e750bb84dc6617e8264728945ad6f You're receiving this email because of your account on salsa.debian.org.
