Package evaluation to load Reduce on Julia 1.14.0-DEV.29 (7d6ae45e5a*) started at 2025-11-05T07:13:53.609


################################################################################
# Set-up
#


Set-up completed after 0.13s


################################################################################
# Installation
#

Installing Reduce...
   Resolving package versions...
    Updating `~/.julia/environments/v1.14/Project.toml`
  [93e0c654] + Reduce v1.2.15
    Updating `~/.julia/environments/v1.14/Manifest.toml`
  [398f06c4] + AbstractLattices v0.3.1
  [a8e43f4a] + AbstractTensors v0.8.11
  [9dda63f9] + ForceImport v0.0.3
  [93e0c654] + Reduce v1.2.15
  [b873ce64] + ReplMaker v0.2.7
  [20fadf95] + StaticVectors v1.0.9
  [a4af3ec5] + SyntaxTree v1.0.1
  [56f22d72] + Artifacts v1.11.0
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates v1.11.0
  [7b1f6079] + FileWatching v1.11.0
  [b77e0a4c] + InteractiveUtils v1.11.0
  [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0
  [8f399da3] + Libdl v1.11.0
  [37e2e46d] + LinearAlgebra v1.13.0
  [56ddb016] + Logging v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [de0858da] + Printf v1.11.0
  [3fa0cd96] + REPL v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v1.0.0
  [9e88b42a] + Serialization v1.11.0
  [6462fe0b] + Sockets v1.11.0
  [f489334b] + StyledStrings v1.11.0
  [8dfed614] + Test v1.11.0
  [4ec0a83e] + Unicode v1.11.0
  [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1
  [4536629a] + OpenBLAS_jll v0.3.29+0
  [8e850b90] + libblastrampoline_jll v5.15.0+0

Installation completed after 5.08s


################################################################################
# Precompilation
#

Precompiling PkgEval dependencies...
     Project No packages added to or removed from `~/.julia/environments/pkgeval/Project.toml`
    Manifest No packages added to or removed from `~/.julia/environments/pkgeval/Manifest.toml`

Precompiling package dependencies...
Precompiling packages...
Building Reduce.jl with CSL binaries ... 
ERROR: LoadError: RequestError: HTTP/2 404 while requesting https://sourceforge.net/projects/reduce-algebra/files/snapshot_2020-10-07/linux64/reduce-csl_5424_amd64.tgz/download
Stacktrace:
  [1] (::Downloads.var"#7#8"{Nothing, Vector{Pair{String, String}}, Float64, Nothing, Bool, Nothing, Nothing, String})(output::IOStream)
    @ Downloads /opt/julia/share/julia/stdlib/v1.14/Downloads/src/Downloads.jl:285
  [2] open(f::Downloads.var"#7#8"{Nothing, Vector{Pair{String, String}}, Float64, Nothing, Bool, Nothing, Nothing, String}, args::String; kwargs::@Kwargs{write::Bool, lock::Bool})
    @ Base ./io.jl:427
  [3] open_nolock
    @ /opt/julia/share/julia/stdlib/v1.14/ArgTools/src/ArgTools.jl:35 [inlined]
  [4] arg_write(f::Function, arg::String)
    @ ArgTools /opt/julia/share/julia/stdlib/v1.14/ArgTools/src/ArgTools.jl:103
  [5] #download#5
    @ /opt/julia/share/julia/stdlib/v1.14/Downloads/src/Downloads.jl:272 [inlined]
  [6] download(url::String, output::String)
    @ Downloads /opt/julia/share/julia/stdlib/v1.14/Downloads/src/Downloads.jl:252
  [7] do_download(url::String, path::String)
    @ Base ./download.jl:24
  [8] download(url::String, path::String)
    @ Base ./download.jl:19
  [9] top-level scope
    @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:98
 [10] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
 [11] top-level scope
    @ ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:9
 [12] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [13] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:3148
 [14] top-level scope
    @ stdin:5
 [15] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2994
 [17] include_string
    @ ./loading.jl:3004 [inlined]
 [18] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:342
 [19] _start()
    @ Base ./client.jl:577
in expression starting at /home/pkgeval/.julia/packages/Reduce/uoKuq/src/build.jl:79
in expression starting at /home/pkgeval/.julia/packages/Reduce/uoKuq/src/Reduce.jl:2
in expression starting at stdin:5

caused by: IOError: could not spawn `/home/pkgeval/.julia/packages/Reduce/uoKuq/src/../deps/usr/bin/redcsl -w`: no such file or directory (ENOENT)
Stacktrace:
   [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.IOServer, Base.SyncCloseFD, IO}})
     @ Base ./process.jl:149
   [2] _spawn
     @ ./process.jl:166 [inlined]
 ┌ [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.IOServer, Base.SyncCloseFD, IO}})
 │   @ Base ./process.jl:188
 ╰──── repeated 3 times
   [6] #_spawn##0
     @ ./process.jl:158 [inlined]
   [7] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, Base.IOServer, IO}})
     @ Base ./process.jl:245
   [8] _spawn
     @ ./process.jl:157 [inlined]
   [9] run(::Base.CmdRedirect; wait::Bool)
     @ Base ./process.jl:529
  [10] run
     @ ./process.jl:523 [inlined]
  [11] _spawn
     @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined]
  [12] _spawn(cmd::Cmd)
     @ Reduce ~/.julia/packages/Reduce/uoKuq/src/build.jl:53
  [13] top-level scope
     @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:85
  [14] include(mapexpr::Function, mod::Module, _path::String)
     @ Base ./Base.jl:310
  [15] top-level scope
     @ ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:9
  [16] include(mod::Module, _path::String)
     @ Base ./Base.jl:309
  [17] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
     @ Base ./loading.jl:3148
  [18] top-level scope
     @ stdin:5
  [19] eval(m::Module, e::Any)
     @ Core ./boot.jl:489
  [20] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
     @ Base ./loading.jl:2994
  [21] include_string
     @ ./loading.jl:3004 [inlined]
  [22] exec_options(opts::Base.JLOptions)
     @ Base ./client.jl:342
  [23] _start()
     @ Base ./client.jl:577

caused by: IOError: could not spawn `redcsl -w`: no such file or directory (ENOENT)
Stacktrace:
   [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.IOServer, Base.SyncCloseFD, IO}})
     @ Base ./process.jl:149
   [2] _spawn
     @ ./process.jl:166 [inlined]
 ┌ [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.IOServer, Base.SyncCloseFD, IO}})
 │   @ Base ./process.jl:188
 ╰──── repeated 3 times
   [6] #_spawn##0
     @ ./process.jl:158 [inlined]
   [7] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, Base.IOServer, IO}})
     @ Base ./process.jl:245
   [8] _spawn
     @ ./process.jl:157 [inlined]
   [9] run(::Base.CmdRedirect; wait::Bool)
     @ Base ./process.jl:529
  [10] run
     @ ./process.jl:523 [inlined]
  [11] _spawn
     @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined]
  [12] _spawn(cmd::Cmd)
     @ Reduce ~/.julia/packages/Reduce/uoKuq/src/build.jl:53
  [13] top-level scope
     @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:82
  [14] include(mapexpr::Function, mod::Module, _path::String)
     @ Base ./Base.jl:310
  [15] top-level scope
     @ ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:9
  [16] include(mod::Module, _path::String)
     @ Base ./Base.jl:309
  [17] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
     @ Base ./loading.jl:3148
  [18] top-level scope
     @ stdin:5
  [19] eval(m::Module, e::Any)
     @ Core ./boot.jl:489
  [20] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
     @ Base ./loading.jl:2994
  [21] include_string
     @ ./loading.jl:3004 [inlined]
  [22] exec_options(opts::Base.JLOptions)
     @ Base ./client.jl:342
  [23] _start()
     @ Base ./client.jl:577

Precompilation completed after 11.5s


################################################################################
# Loading
#

Loading Reduce...
Building Reduce.jl with CSL binaries ... 
ERROR: LoadError: RequestError: HTTP/2 404 while requesting https://sourceforge.net/projects/reduce-algebra/files/snapshot_2020-10-07/linux64/reduce-csl_5424_amd64.tgz/download
Stacktrace:
  [1] (::Downloads.var"#7#8"{Nothing, Vector{Pair{String, String}}, Float64, Nothing, Bool, Nothing, Nothing, String})(output::IOStream)
    @ Downloads /opt/julia/share/julia/stdlib/v1.14/Downloads/src/Downloads.jl:285
  [2] open(f::Downloads.var"#7#8"{Nothing, Vector{Pair{String, String}}, Float64, Nothing, Bool, Nothing, Nothing, String}, args::String; kwargs::@Kwargs{write::Bool, lock::Bool})
    @ Base ./io.jl:427
  [3] open_nolock
    @ /opt/julia/share/julia/stdlib/v1.14/ArgTools/src/ArgTools.jl:35 [inlined]
  [4] arg_write(f::Function, arg::String)
    @ ArgTools /opt/julia/share/julia/stdlib/v1.14/ArgTools/src/ArgTools.jl:103
  [5] #download#5
    @ /opt/julia/share/julia/stdlib/v1.14/Downloads/src/Downloads.jl:272 [inlined]
  [6] download(url::String, output::String)
    @ Downloads /opt/julia/share/julia/stdlib/v1.14/Downloads/src/Downloads.jl:252
  [7] do_download(url::String, path::String)
    @ Base ./download.jl:24
  [8] download(url::String, path::String)
    @ Base ./download.jl:19
  [9] top-level scope
    @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:98
 [10] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
 [11] top-level scope
    @ ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:9
 [12] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [13] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
    @ Base ./loading.jl:3148
 [14] top-level scope
    @ stdin:5
 [15] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [16] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2994
 [17] include_string
    @ ./loading.jl:3004 [inlined]
 [18] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:342
 [19] _start()
    @ Base ./client.jl:577
in expression starting at /home/pkgeval/.julia/packages/Reduce/uoKuq/src/build.jl:79
in expression starting at /home/pkgeval/.julia/packages/Reduce/uoKuq/src/Reduce.jl:2
in expression starting at stdin:5

caused by: IOError: could not spawn `/home/pkgeval/.julia/packages/Reduce/uoKuq/src/../deps/usr/bin/redcsl -w`: no such file or directory (ENOENT)
Stacktrace:
   [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.IOServer, Base.SyncCloseFD, IO}})
     @ Base ./process.jl:149
   [2] _spawn
     @ ./process.jl:166 [inlined]
 ┌ [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.IOServer, Base.SyncCloseFD, IO}})
 │   @ Base ./process.jl:188
 ╰──── repeated 3 times
   [6] #_spawn##0
     @ ./process.jl:158 [inlined]
   [7] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, Base.IOServer, IO}})
     @ Base ./process.jl:245
   [8] _spawn
     @ ./process.jl:157 [inlined]
   [9] run(::Base.CmdRedirect; wait::Bool)
     @ Base ./process.jl:529
  [10] run
     @ ./process.jl:523 [inlined]
  [11] _spawn
     @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined]
  [12] _spawn(cmd::Cmd)
     @ Reduce ~/.julia/packages/Reduce/uoKuq/src/build.jl:53
  [13] top-level scope
     @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:85
  [14] include(mapexpr::Function, mod::Module, _path::String)
     @ Base ./Base.jl:310
  [15] top-level scope
     @ ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:9
  [16] include(mod::Module, _path::String)
     @ Base ./Base.jl:309
  [17] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
     @ Base ./loading.jl:3148
  [18] top-level scope
     @ stdin:5
  [19] eval(m::Module, e::Any)
     @ Core ./boot.jl:489
  [20] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
     @ Base ./loading.jl:2994
  [21] include_string
     @ ./loading.jl:3004 [inlined]
  [22] exec_options(opts::Base.JLOptions)
     @ Base ./client.jl:342
  [23] _start()
     @ Base ./client.jl:577

caused by: IOError: could not spawn `redcsl -w`: no such file or directory (ENOENT)
Stacktrace:
   [1] _spawn_primitive(file::String, cmd::Cmd, stdio::Memory{Union{RawFD, Base.IOServer, Base.SyncCloseFD, IO}})
     @ Base ./process.jl:149
   [2] _spawn
     @ ./process.jl:166 [inlined]
 ┌ [3] _spawn(::Base.CmdRedirect, ::Memory{Union{RawFD, Base.IOServer, Base.SyncCloseFD, IO}})
 │   @ Base ./process.jl:188
 ╰──── repeated 3 times
   [6] #_spawn##0
     @ ./process.jl:158 [inlined]
   [7] setup_stdios(f::Base.var"#_spawn##0#_spawn##1"{Base.CmdRedirect}, stdios::Vector{Union{RawFD, Base.FileRedirect, Base.IOServer, IO}})
     @ Base ./process.jl:245
   [8] _spawn
     @ ./process.jl:157 [inlined]
   [9] run(::Base.CmdRedirect; wait::Bool)
     @ Base ./process.jl:529
  [10] run
     @ ./process.jl:523 [inlined]
  [11] _spawn
     @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:53 [inlined]
  [12] _spawn(cmd::Cmd)
     @ Reduce ~/.julia/packages/Reduce/uoKuq/src/build.jl:53
  [13] top-level scope
     @ ~/.julia/packages/Reduce/uoKuq/src/build.jl:82
  [14] include(mapexpr::Function, mod::Module, _path::String)
     @ Base ./Base.jl:310
  [15] top-level scope
     @ ~/.julia/packages/Reduce/uoKuq/src/Reduce.jl:9
  [16] include(mod::Module, _path::String)
     @ Base ./Base.jl:309
  [17] include_package_for_output(pkg::Base.PkgId, input::String, depot_path::Vector{String}, dl_load_path::Vector{String}, load_path::Vector{String}, concrete_deps::Vector{Pair{Base.PkgId, UInt128}}, source::Nothing)
     @ Base ./loading.jl:3148
  [18] top-level scope
     @ stdin:5
  [19] eval(m::Module, e::Any)
     @ Core ./boot.jl:489
  [20] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
     @ Base ./loading.jl:2994
  [21] include_string
     @ ./loading.jl:3004 [inlined]
  [22] exec_options(opts::Base.JLOptions)
     @ Base ./client.jl:342
  [23] _start()
     @ Base ./client.jl:577

  1 dependency had output during precompilation:
┌ Reduce
│  [Output was shown above]
└  
ERROR: The following 1 package failed to precompile:

Reduce 
Failed to precompile Reduce [93e0c654-6965-5f22-aba9-9c1ae6b3c259] to "/home/pkgeval/.julia/compiled/v1.14/Reduce/jl_BROOFw" (ProcessExited(1)).


Loading failed after 7.28s

ERROR: LoadError: failed process: Process(`/opt/julia/bin/julia -C native -J/opt/julia/lib/julia/sys.so -g1 --check-bounds=yes --inline=yes --pkgimages=existing -e 'using Reduce'`, ProcessExited(1)) [1]

Stacktrace:
 [1] pipeline_error
   @ ./process.jl:611 [inlined]
 [2] run(::Cmd; wait::Bool)
   @ Base ./process.jl:526
 [3] run(::Cmd)
   @ Base ./process.jl:523
 [4] top-level scope
   @ /PkgEval.jl/scripts/evaluate.jl:193
 [5] include(mod::Module, _path::String)
   @ Base ./Base.jl:309
 [6] exec_options(opts::Base.JLOptions)
   @ Base ./client.jl:344
 [7] _start()
   @ Base ./client.jl:577
in expression starting at /PkgEval.jl/scripts/evaluate.jl:184

PkgEval failed after 39.99s: networking-related issues were detected