|
|
|
|
@ -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
|
|
|
|
|
|
