Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq
Commits:
-
3bac6aae
by Stephane Glondu at 2023-09-06T08:48:01+02:00
1 changed file:
Changes:
... | ... | @@ -18,7 +18,6 @@ Build-Depends: |
18 | 18 | ocaml,
|
19 | 19 | ocaml-native-compilers,
|
20 | 20 | ocaml-findlib (>= 1.8.0),
|
21 | - camlp5,
|
|
22 | 21 | libfindlib-ocaml-dev,
|
23 | 22 | liblablgtk3-ocaml-dev,
|
24 | 23 | liblablgtksourceview3-ocaml-dev (>= 3.0~beta8),
|