diff --git a/profiles/default/package.keywords/depends b/profiles/default/package.keywords/depends
index 7c02f2384..1cde6e997 100644
--- a/profiles/default/package.keywords/depends
+++ b/profiles/default/package.keywords/depends
@@ -337,23 +337,17 @@
 ~dev-lisp/alexandria-20171029 amd64
 ~dev-lisp/clx-0.7.5 amd64
 ~dev-lua/luv-1.32.0.0 amd64
-~dev-ml/camlbz2-0.6.0 amd64
 ~dev-ml/camlp4-4.08_p1 amd64
-~dev-ml/camlp5-7.11 amd64
 ~dev-ml/cmdliner-1.0.4 amd64
 ~dev-ml/cudf-0.9 amd64
-~dev-ml/dose3-5.0.1 amd64
 ~dev-ml/findlib-1.8.1 amd64
 ~dev-ml/jsonm-1.0.1 amd64
 ~dev-ml/labltk-8.06.7 amd64
 ~dev-ml/num-1.3 amd64
 ~dev-ml/ocamlbuild-0.14.0 amd64
 ~dev-ml/ocaml-re-1.7.1 amd64
-~dev-ml/ocurl-0.7.10 amd64
 ~dev-ml/opam-1.3.1 amd64
 ~dev-ml/ounit-2.0.6 amd64
-~dev-ml/result-1.2 amd64
-~dev-ml/topkg-0.9.1 amd64
 ~dev-ml/uchar-0.0.2 amd64
 ~dev-ml/uutf-1.0.1 amd64
 ~dev-perl/LWP-UserAgent-Cached-0.60.0 amd64
@@ -565,7 +559,6 @@ net-vpn/wireguard-tools amd64
 ~sci-libs/vtk-8.2.0 amd64
 ~sci-libs/xdmf2-1.0_p141226 amd64
 ~sci-libs/xdrfile-1.1.4 amd64
-~sci-mathematics/coq-8.9.1 amd64
 ~sci-mathematics/num-utils-0.5 amd64
 ~sci-mathematics/why3-for-spark-2019 amd64
 ~sci-misc/netlogo-bin-6.0.2 amd64