Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocaml-zarith
Commits:
-
b3dd5b76
by Stephane Glondu at 2024-08-03T04:29:25+02:00
-
19558fb6
by Stephane Glondu at 2024-08-03T04:29:30+02:00
-
e985eed1
by Stephane Glondu at 2024-08-03T05:12:48+02:00
3 changed files:
Changes:
1 | +ocaml-zarith (1.13-3) unstable; urgency=medium
|
|
2 | + |
|
3 | + * Add support for a different OCaml stdlib dir
|
|
4 | + |
|
5 | + -- Stéphane Glondu <glondu@debian.org> Sat, 03 Aug 2024 05:12:45 +0200
|
|
6 | + |
|
1 | 7 | ocaml-zarith (1.13-2) unstable; urgency=medium
|
2 | 8 | |
3 | 9 | * Depend on ocaml instead of transitional ocaml-nox
|
1 | -usr/lib/ocaml/stublibs/dllzarith.so.owner |
1 | +@OCamlDllDir@/dllzarith.so.owner |