X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=62a0f246ebdafa1f65f0919cf28d8fa461a5a4dd;hb=4cf03fe7b45447c46e0aa5ebefeca8a0d942e57d;hp=da9e83aa4cabf4d92b4133f8e4b8fc183275334f;hpb=e49a2975846649c58e331df66477d00ffb408c7d;p=fedora-ocaml-rebuild.git diff --git a/Goalfile b/Goalfile index da9e83a..62a0f24 100644 --- a/Goalfile +++ b/Goalfile @@ -6,11 +6,11 @@ let fedora-dir = "%HOME/d/fedora" let fedora-branch = "rawhide" #let fedora-branch = "f34" -let fedora-tag = "f35-build-side-38024" +let fedora-tag = "f36-build-side-46495" # The magic string that must appear in %changelog when the # package has been rebuilt. -let fedora-rebuild-name = "OCaml 4.12.0 build" +let fedora-rebuild-name = "OCaml 4.13.1 build" # Packages that are ignored, which means they are treated as if # they have been rebuilt. @@ -109,6 +109,7 @@ let packages = [ "ocaml-omake", "ocaml-opam-file-format", "ocaml-ounit", + "ocaml-parmap", "ocaml-parsexp", "ocaml-pcre", "ocaml-perl4caml", @@ -176,7 +177,8 @@ let packages = [ "frama-c", "gappalib-coq", "graphviz", - "haxe", + # requires ocaml-ppx-tools-versioned-devel + #"haxe", "hevea", "hivex", "laby",