From c4578ea3bb8ec4916aa52dc5f4132d446d6c6b6e Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 21 Jul 2023 21:19:24 +0200 Subject: [PATCH] Update JuliaInterface JLL to latest version --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index e855d7ce4..7a8b2120f 100644 --- a/Project.toml +++ b/Project.toml @@ -23,7 +23,7 @@ Scratch = "6c6a2e73-6563-6170-7368-637461726353" [compat] GAP_jll = "~400.1200.101" GAP_lib_jll = "~400.1201.100" -GAP_pkg_juliainterface_jll = "=0.800.201, =0.800.202" +GAP_pkg_juliainterface_jll = "=0.800.300" MacroTools = "0.5" Ncurses_jll = "6.4.1" Pidfile = "1.3"