Codebase list coq / e159214
Add explicit b-dep on libfindlib-ocaml-dev Julien Puydt 1 year, 8 months ago
1 changed file(s) with 1 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
1919 ocaml-native-compilers,
2020 ocaml-findlib (>= 1.8.0),
2121 camlp5 (>= 6.14),
22 libfindlib-ocaml-dev,
2223 liblablgtk3-ocaml-dev,
2324 liblablgtksourceview3-ocaml-dev (>= 3.0~beta8),
2425 libnum-ocaml-dev,