From 7bc9c63c9da678a7e6fceb095d56c634afd22c56 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 15 Dec 2019 18:09:03 +0000 Subject: gentoo resync : 15.12.2019 --- dev-ml/ocaml-hashcons/metadata.xml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'dev-ml/ocaml-hashcons/metadata.xml') diff --git a/dev-ml/ocaml-hashcons/metadata.xml b/dev-ml/ocaml-hashcons/metadata.xml index a079c25ecc03..445c6d93296f 100644 --- a/dev-ml/ocaml-hashcons/metadata.xml +++ b/dev-ml/ocaml-hashcons/metadata.xml @@ -1,10 +1,7 @@ - + - - ml@gentoo.org - Gentoo ML Project - + backtracking/ocaml-hashcons -- cgit v1.2.3