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
1 changed file:
Changes:
... | ... | @@ -16,7 +16,7 @@ Build-Depends: |
16 | 16 | dh-ocaml (>= 0.9.5~),
|
17 | 17 | dh-python,
|
18 | 18 | ocaml-dune,
|
19 | - ocaml-nox (>= 4.05),
|
|
19 | + ocaml,
|
|
20 | 20 | ocaml-native-compilers,
|
21 | 21 | ocaml-findlib (>= 1.8.0),
|
22 | 22 | camlp5 (>= 6.14),
|
... | ... | @@ -42,7 +42,7 @@ Depends: |
42 | 42 | ${python3:Depends},
|
43 | 43 | ${shlibs:Depends},
|
44 | 44 | ${misc:Depends},
|
45 | - ocaml-nox,
|
|
45 | + ocaml,
|
|
46 | 46 | ocaml-findlib
|
47 | 47 | Provides: coq-${F:CoqABI}
|
48 | 48 | Suggests:
|