Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq
Commits:
dfa18d17 by Stephane Glondu at 2023-08-08T09:36:39+02:00
Depend on ocaml instead of ocaml-nox
- - - - -
1 changed file:
- debian/control
Changes:
=====================================
debian/control
=====================================
@@ -16,7 +16,7 @@ Build-Depends:
dh-ocaml (>= 0.9.5~),
dh-python,
ocaml-dune,
- ocaml-nox (>= 4.05),
+ ocaml,
ocaml-native-compilers,
ocaml-findlib (>= 1.8.0),
camlp5 (>= 6.14),
@@ -42,7 +42,7 @@ Depends:
${python3:Depends},
${shlibs:Depends},
${misc:Depends},
- ocaml-nox,
+ ocaml,
ocaml-findlib
Provides: coq-${F:CoqABI}
Suggests:
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq/-/commit/dfa18d170ab337549410dc1c38b0cee526e7b1f5
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq/-/commit/dfa18d170ab337549410dc1c38b0cee526e7b1f5
You're receiving this email because of your account on salsa.debian.org.
