git.annexia.org / fedora-ocaml-rebuild.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6cdaf21)
Remove ocaml-ppx-tools-versioned dead.package.
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 1 Mar 2021 12:42:50 +0000 (12:42 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 1 Mar 2021 12:42:50 +0000 (12:42 +0000)
Goalfile patch | blob | history

diff --git a/Goalfile b/Goalfile
index 083aa83..ae15e94 100644 (file)
--- 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",
Unnamed repository; edit this file 'description' to name the repository.