[Git][ocaml-team/why3][upstream] New upstream version 1.8.0

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/why3][upstream] New upstream version 1.8.0
From: Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>
Date: Sun, 02 Feb 2025 06:49:07 +0000
Message-id: <[🔎] 679f15636b4e_106a18b0a8ac268726c@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / why3

Commits:

7de60b4e
by Ralf Treinen at 2025-01-01T16:25:07+01:00
```
New upstream version 1.8.0
```

0 changed files:

Changes:

Reply to:

Prev by Date: Processed: Bug#1093827 marked as pending in why3
Next by Date: [Git][ocaml-team/why3][master] 6 commits: New upstream version 1.7.2
Previous by thread: Processed: Bug#1093827 marked as pending in why3
Next by thread: [Git][ocaml-team/why3][master] 6 commits: New upstream version 1.7.2
Index(es):
- Date
- Thread