From 7a5e4345845485941c9c64374b5db3ce5d644021 Mon Sep 17 00:00:00 2001 From: Alexis Ballier Date: Thu, 27 Apr 2017 12:36:04 +0200 Subject: [PATCH] dev-ml/ocamlgraph: add remoteid on the github mirror Package-Manager: Portage-2.3.5, Repoman-2.3.2 --- dev-ml/ocamlgraph/metadata.xml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/dev-ml/ocamlgraph/metadata.xml b/dev-ml/ocamlgraph/metadata.xml index ffa6c6b4395b..3c1a3a18d2d6 100644 --- a/dev-ml/ocamlgraph/metadata.xml +++ b/dev-ml/ocamlgraph/metadata.xml @@ -5,4 +5,7 @@ ml@gentoo.org Gentoo ML Project + + backtracking/ocamlgraph + -- 2.26.2