Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq-doc
Commits:
-
e7cc1593
by Stephane Glondu at 2024-06-18T11:16:10+02:00
1 changed file:
Changes:
1 | -coq-doc (8.19.1-2) UNRELEASED; urgency=medium
|
|
1 | +coq-doc (8.19.1-2) unstable; urgency=medium
|
|
2 | 2 | |
3 | 3 | * Call "dune build" with --release
|
4 | 4 | |
5 | - -- Stéphane Glondu <glondu@debian.org> Tue, 18 Jun 2024 10:21:35 +0200
|
|
5 | + -- Stéphane Glondu <glondu@debian.org> Tue, 18 Jun 2024 11:16:07 +0200
|
|
6 | 6 | |
7 | 7 | coq-doc (8.19.1-1) unstable; urgency=medium
|
8 | 8 |