From e4f752e941abf3f65b790482ce38409430bceb7d Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Mon, 1 Mar 2021 12:42:50 +0000
Subject: [PATCH] Remove ocaml-ppx-tools-versioned dead.package.

---
 Goalfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Goalfile b/Goalfile
index 083aa83..ae15e94 100644
--- a/Goalfile
+++ b/Goalfile
@@ -131,7 +131,6 @@ let packages = [
     "ocaml-ppx-optcomp",
     "ocaml-ppx-sexp-conv",
     "ocaml-ppx-tools",
-    "ocaml-ppx-tools-versioned",
     "ocaml-ppx-variants-conv",
     "ocaml-psmt2-frontend",
     "ocaml-ptmap",
-- 
1.8.3.1