From f96cbb85c088fd54067fe53d79c89bbfcc4ea8fb Mon Sep 17 00:00:00 2001 From: Benjamin Lorenz Date: Mon, 14 Jul 2025 16:14:54 +0200 Subject: [PATCH] [libpolymake_julia] rebuild with new libjulia for older Oscar versions --- L/libpolymake_julia/build_tarballs.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/L/libpolymake_julia/build_tarballs.jl b/L/libpolymake_julia/build_tarballs.jl index 7e153fa77cf..ac21fd82c4c 100644 --- a/L/libpolymake_julia/build_tarballs.jl +++ b/L/libpolymake_julia/build_tarballs.jl @@ -16,7 +16,7 @@ delete!(Pkg.Types.get_last_stdlibs(v"1.13.0"), uuidopenssl) include("../../L/libjulia/common.jl") name = "libpolymake_julia" -version = v"0.13.4" +version = v"0.13.5" # reminder: change the above version when changing the supported julia versions # julia_versions is now taken from libjulia/common.jl @@ -66,7 +66,7 @@ products = [ # Dependencies that must be installed before this package can be built dependencies = [ - BuildDependency(PackageSpec(;name="libjulia_jll", version=v"1.10.18")), + BuildDependency(PackageSpec(;name="libjulia_jll", version=v"1.10.19")), BuildDependency("GMP_jll"), BuildDependency("MPFR_jll"), Dependency("CompilerSupportLibraries_jll"),