Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / aac-tactics
Commits:
-
8cd66b92
by Stephane Glondu at 2023-09-12T07:51:26+02:00
1 changed file:
Changes:
1 | +aac-tactics (8.17.0-3) unstable; urgency=medium
|
|
2 | + |
|
3 | + * Depend on ocaml instead of transitional ocaml-nox
|
|
4 | + |
|
5 | + -- Stéphane Glondu <glondu@debian.org> Tue, 12 Sep 2023 07:51:26 +0200
|
|
6 | + |
|
1 | 7 | aac-tactics (8.17.0-2) unstable; urgency=medium
|
2 | 8 | |
3 | 9 | * Add lintian overrides for false issues.
|