[Git][ocaml-team/hol-light][master] 6 commits: New upstream version 20231021

Subject: [Git][ocaml-team/hol-light][master] 6 commits: New upstream version 20231021

From: Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>

Date: Mon, 23 Oct 2023 13:31:35 +0000

Title: GitLab

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
```

Reply to: