Update build.jl

libgb v0.17
ederc · Oct 24, 2019 · 0567fe3 · 0567fe3
1 parent 48c53c9
commit 0567fe3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/build.jl b/deps/build.jl
@@ -16,7 +16,7 @@ if !issource_build
     dependencies = [
         # This has to be in sync with the corresponding commit in the source build below (for flint, arb, antic)
         "https://github.com/JuliaPackaging/Yggdrasil/releases/download/GMP-v6.1.2-1/build_GMP.v6.1.2.jl",
-        "https://github.com/ederc/GBBuilder/releases/download/v0.16-dev0/build_libgb.v0.16.0-dev0.jl"
+        "https://github.com/ederc/GBBuilder/releases/download/v0.17-dev0/build_libgb.v0.17.0-dev0.jl"
     ]
 
     const prefix = Prefix(get([a for a in ARGS if a != "--verbose"], 1,