From: Richard W.M. Jones <rjones@redhat.com>
Date: Mon, 1 Mar 2021 12:42:50 +0000 (+0000)
Subject: Remove ocaml-ppx-tools-versioned dead.package.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=e4f752e941abf3f65b790482ce38409430bceb7d;hp=6cdaf2131ea1879a2a6a719781cac8fcb8596b9c;p=fedora-ocaml-rebuild.git

Remove ocaml-ppx-tools-versioned dead.package.
---

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",