From 374b6ad88604ce6c456ee4fda58dd20c78398c5a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Beno=C3=AEt=20Legat?= Date: Thu, 27 Jul 2017 09:26:01 +0200 Subject: [PATCH] Update repo for obs --- deps/build.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/deps/build.jl b/deps/build.jl index 0f9e1d4..f319bf1 100644 --- a/deps/build.jl +++ b/deps/build.jl @@ -54,8 +54,8 @@ end @static if is_windows() libcdd = library_dependency("libcddgmp", aliases=["libcddgmp-0"]) #, depends=[libgmp]) using WinRPM - push!(WinRPM.sources, "https://cache.julialang.org/http://download.opensuse.org/repositories/home:/blegat:/branches:/windows:/mingw:/win32/openSUSE_13.2") - push!(WinRPM.sources, "https://cache.julialang.org/http://download.opensuse.org/repositories/home:/blegat:/branches:/windows:/mingw:/win64/openSUSE_13.2") + push!(WinRPM.sources, "https://cache.julialang.org/http://download.opensuse.org/repositories/home:/blegat:/branches:/windows:/mingw:/win32/openSUSE_Leap_42.2") + push!(WinRPM.sources, "https://cache.julialang.org/http://download.opensuse.org/repositories/home:/blegat:/branches:/windows:/mingw:/win64/openSUSE_Leap_42.2") WinRPM.update() provides(WinRPM.RPM, "libcdd-$(cddlib_commit[1:8])", [libcdd], os = :Windows) end