The problem is very much related to this one and this one, so I suppose it’s also a good idea to try to poke @giordano.
TLDR: When trying to install Symbolics I get the following error:
ERROR: Unable to automatically install 'OpenSpecFun' from '/home/myusername/.julia/packages/OpenSpecFun_jll/Xw8XK/Artifacts.toml'
More details:
- I am using Julia 1.4.2 (installed with jill) on a Linux (Debian) machine via remote access using SSH:
Julia Version 1.4.2
Commit 44fa15b150* (2020-05-23 18:35 UTC)
Platform Info:
OS: Linux (x86_64-pc-linux-gnu)
CPU: Intel(R) Core(TM) i7-7700 CPU @ 3.60GHz
WORD_SIZE: 64
LIBM: libopenlibm
LLVM: libLLVM-8.0.1 (ORCJIT, skylake)
-
I am behind my university’s proxy, which caused me some pain in the neck with
LibGit2. But once I added “missing” trailing slashes to my proxy environment variables I could finally start adding packages (in julia-1.1.1, everything worked fine from the very beginning). E.g., I could installHCubatureandDataFrameswithout any problem. -
However, when trying to add
SymbolicsI get the following error:
ERROR: Unable to automatically install 'OpenSpecFun' from '/home/myusername/.julia/packages/OpenSpecFun_jll/Xw8XK/Artifacts.toml'
- As was always asked in the aforementioned threads, I present the result of
debug_artifact("OpenSpecFun"):
...
[ Info: Probing for download engine...
[ Info: Probing curl as a possibility...
[ Info: Probe successful for curl
[ Info: Found download engine curl
[ Info: Probing for compression engine...
[ Info: Probing tar as a possibility...
[ Info: Probe successful for tar
[ Info: Found compression engine tar
[ Info: Downloading Artifacts.toml to /home/anotheruser/tmp/jl_w68qT2/Artifacts.toml...
-=O=- # # # #
curl: (7) Failed to connect to raw.githubusercontent.com port 443: Connection timed out
ERROR: Could not download https://raw.githubusercontent.com/JuliaBinaryWrappers/OpenSpecFun_jll.jl/master/Artifacts.toml to /home/anotheruser/tmp/jl_w68qT2/Artifacts.toml:
ProcessFailedException(Base.Process[Process(`curl -C - '-#' -f -o /home/anotheruser/tmp/jl_w68qT2/Artifacts.toml -L https://raw.githubusercontent.com/JuliaBinaryWrappers/OpenSpecFun_jll.jl/master/Artifacts.toml`, ProcessExited(7))])
Stacktrace:
[1] error(::String) at ./error.jl:33
[2] download(::String, ::String; verbose::Bool, auth_header::Nothing) at /buildworker/worker/package_linux64/build/usr/share/julia/stdlib/v1.4/Pkg/src/PlatformEngines.jl:853
[3] (::DebugArtifacts.var"#3#4"{String,Pkg.BinaryPlatforms.Linux,String})(::String) at /home/myusername/.julia/packages/DebugArtifacts/VcVh2/src/DebugArtifacts.jl:57
[4] mktempdir(::DebugArtifacts.var"#3#4"{String,Pkg.BinaryPlatforms.Linux,String}, ::String; prefix::String) at ./file.jl:682
[5] mktempdir at ./file.jl:680 [inlined] (repeats 2 times)
[6] debug_artifact(::String, ::Pkg.BinaryPlatforms.Linux) at /home/myusername/.julia/packages/DebugArtifacts/VcVh2/src/DebugArtifacts.jl:53
[7] debug_artifact(::String) at /home/myusername/.julia/packages/DebugArtifacts/VcVh2/src/DebugArtifacts.jl:43
[8] top-level scope at REPL[2]:1
caused by [exception 1]
failed process: Process(`curl -C - '-#' -f -o /home/anotheruser/tmp/jl_w68qT2/Artifacts.toml -L https://raw.githubusercontent.com/JuliaBinaryWrappers/OpenSpecFun_jll.jl/master/Artifacts.toml`, ProcessExited(7)) [7]
So, as expected, there is some problem with curl.
- Also, as had been suggested in one of the threads, I tried to add another package server,
export JULIA_PKG_SERVER=https://geo.pkg.julialang.org
but that didn’t help.
-
My
umaskis 0022. -
Finally, as advised to the OP in this thread, I tried to run
for a in artifacts["OpenSpecFun"]
for dl in a["download"]
dir = mktempdir()
@assert Pkg.PlatformEngines.download_verify_unpack(dl["url"], dl["sha256"], dir; ignore_existence=true, verbose=true)
treehash = bytes2hex(Pkg.GitTools.tree_hash(dir))
treehash == a["git-tree-sha1"] || error("hash mismatch!")
end
end
for additional testing, but it doesn’t seem to do anything (I had to terminate the process after ca. 5-10 minutes of nothing happening).
Please let me know if I should provide some additional info and/or if I maybe should ask something in my IT department.
P.S. As you could have probably already guessed, I am not the most tech savvy-guy. As much as I try to get what’s actually going on, quite often I don’t really understand. On the other hand, I most certainly don’t want to fiddle with any safety protocols and such without my IT department’s permission. So if you suggest something that I should probably ask my IT deparment about before doing, I will much appreciate if you let me know in advance. 
