[Git][ocaml-team/hol-light][master] 8 commits: Update packaging

[Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>]

Title: GitLab

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.
You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help