diff --git a/profiles/default/package.keywords/depends b/profiles/default/package.keywords/depends index 65f475de8..8848a4348 100644 --- a/profiles/default/package.keywords/depends +++ b/profiles/default/package.keywords/depends @@ -326,6 +326,8 @@ ~dev-lisp/asdf-3.3.2 amd64 ~dev-lisp/clx-0.7.5 amd64 ~dev-lisp/uiop-3.3.2 amd64 +~dev-ml/camlp5-7.12 amd64 +~dev-ml/camlp5-7.13 amd64 ~dev-ml/cmdliner-1.0.4 amd64 ~dev-ml/cudf-0.9 amd64 ~dev-ml/findlib-1.8.1 amd64