From 737b609fd7b86cab83e46004a872126d181407f9 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 28 Jun 2024 13:55:37 +0100 Subject: [PATCH] Remove ocaml-ppx-import No longer needed by upstream frama-c, and orphaned in Fedora. --- fedora-packages.gl | 1 - 1 file changed, 1 deletion(-) diff --git a/fedora-packages.gl b/fedora-packages.gl index 542f621..1aaa972 100644 --- a/fedora-packages.gl +++ b/fedora-packages.gl @@ -114,7 +114,6 @@ let packages = [ "ocaml-ppx-globalize", "ocaml-ppx-hash", "ocaml-ppx-here", - "ocaml-ppx-import", "ocaml-ppx-inline-test", "ocaml-ppx-js-style", "ocaml-ppx-let", -- 1.8.3.1