dev-lang/elpi-1.19.6:test
dev-ml/alcotest-1.5.0-r3:test
dev-ml/uutf-1.0.3:test
