Revision 78cd7dac44bd524189154c0284fa2fd0dc747b08 authored by Elliot Saba on 28 February 2023, 17:48:30 UTC, committed by GitHub on 28 February 2023, 17:48:30 UTC
1 parent dd74c4b
Raw File
NetworkOptions.version
NETWORKOPTIONS_BRANCH = master
NETWORKOPTIONS_SHA1 = f7bbeb66f05fc651adb12758b650e8630a998fbd
NETWORKOPTIONS_GIT_URL := https://github.com/JuliaLang/NetworkOptions.jl.git
NETWORKOPTIONS_TAR_URL = https://api.github.com/repos/JuliaLang/NetworkOptions.jl/tarball/$1
back to top