[Git][ocaml-team/hol-light][upstream] New upstream version 20231021

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/hol-light][upstream] New upstream version 20231021
From: Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>
Date: Mon, 23 Oct 2023 13:31:41 +0000
Message-id: <[🔎] 653675bd8e560_5e73bb8c90131f@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / hol-light

Commits:

24fdce1d
by Stephane Glondu at 2023-10-23T14:51:28+02:00
```
New upstream version 20231021
```

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.

Reply to:

Prev by Date: [Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_20231021.orig.tar.xz
Next by Date: Processing of hol-light_20231021-1_source.changes
Previous by thread: [Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_20231021.orig.tar.xz
Next by thread: Processing of hol-light_20231021-1_source.changes
Index(es):
- Date
- Thread