X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=ae15e94252f29db8bef9f068611fa2c5a3cf18ae;hb=e4f752e941abf3f65b790482ce38409430bceb7d;hp=083aa8364d50a01dc6a7fd189529756a8e26dcd3;hpb=6cdaf2131ea1879a2a6a719781cac8fcb8596b9c;p=fedora-ocaml-rebuild.git

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