From 753fedfd37d8f2633136de74669146e34d727aa3 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Mon, 1 Mar 2021 12:44:33 +0000 Subject: [PATCH] Remove ocaml-rope dead.package. --- Goalfile | 1 - 1 file changed, 1 deletion(-) diff --git a/Goalfile b/Goalfile index ae15e94..7daba53 100644 --- a/Goalfile +++ b/Goalfile @@ -140,7 +140,6 @@ let packages = [ "ocaml-react", "ocaml-res", "ocaml-result", - "ocaml-rope", "ocaml-SDL", "ocaml-sedlex", "ocaml-seq", -- 1.8.3.1