Package evaluation to load TropicalNN on Julia 1.14.0-DEV.2114 (cccbcd9611*) started at 2026-05-05T17:40:14.974 ################################################################################ # Set-up # Set-up completed after 0.12s ################################################################################ # Installation # Installing TropicalNN... Resolving package versions... Installation failed after 10.41s ERROR: LoadError: Unsatisfiable requirements detected for package Polymake [d720cf60]: Polymake [d720cf60] log: ├─possible versions are: 0.1.0 - 0.13.11 or uninstalled ├─restricted by compatibility requirements with libpolymake_julia_jll [4d8266f6] to versions: [0.1.0 - 0.7.0, 0.13.0 - 0.13.11] or uninstalled │ └─libpolymake_julia_jll [4d8266f6] log: │ ├─possible versions are: 0.1.0 - 0.14.8 or uninstalled │ ├─restricted by julia compatibility requirements to versions: [0.1.0 - 0.7.0, 0.14.3 - 0.14.8] or uninstalled │ ├─restricted by compatibility requirements with FLINT_jll [e134572f] to versions: [0.1.0 - 0.4.117, 0.8.1 - 0.11.2, 0.11.4 - 0.14.7] or uninstalled, leaving only versions: [0.1.0 - 0.4.117, 0.14.3 - 0.14.7] or uninstalled │ │ └─FLINT_jll [e134572f] log: │ │ ├─possible versions are: 0.0.1 - 301.500.0 or uninstalled │ │ ├─restricted by julia compatibility requirements to versions: [0.0.1 - 200.800.101, 200.800.301, 200.800.401 - 301.500.0] or uninstalled │ │ └─restricted by compatibility requirements with Nemo [2edaba10] to versions: [200.900.6 - 200.900.9, 300.100.100 - 301.400.1] │ │ └─Nemo [2edaba10] log: │ │ ├─possible versions are: 0.9.0 - 0.55.0 or uninstalled │ │ ├─restricted by compatibility requirements with BinaryProvider [b99e7846] to versions: [0.9.0 - 0.12.3, 0.27.4 - 0.55.0] or uninstalled │ │ │ └─BinaryProvider [b99e7846] log: │ │ │ ├─possible versions are: 0.4.0 - 0.5.10 or uninstalled │ │ │ └─restricted by julia compatibility requirements to versions: uninstalled │ │ ├─restricted by compatibility requirements with Oscar [f1435218] to versions: [0.43.0 - 0.43.3, 0.45.5 - 0.45.7, 0.47.1 - 0.47.5, 0.49.0 - 0.50.4, 0.52.1 - 0.52.4, 0.54.0 - 0.54.2] │ │ │ └─Oscar [f1435218] log: │ │ │ ├─possible versions are: 0.2.0 - 1.7.2 or uninstalled │ │ │ └─restricted by compatibility requirements with TropicalNN [45302f6a] to versions: 1.0.2 - 1.7.2 │ │ │ └─TropicalNN [45302f6a] log: │ │ │ ├─possible versions are: 0.1.0 - 0.1.1 or uninstalled │ │ │ └─restricted to versions 0.1.1 by an explicit requirement, leaving only versions: 0.1.1 │ │ └─restricted by compatibility requirements with Hecke [3e1990a7] to versions: [0.43.1 - 0.43.3, 0.45.0 - 0.45.7, 0.47.1 - 0.47.5, 0.48.3 - 0.55.0], leaving only versions: [0.43.1 - 0.43.3, 0.45.5 - 0.45.7, 0.47.1 - 0.47.5, 0.49.0 - 0.50.4, 0.52.1 - 0.52.4, 0.54.0 - 0.54.2] │ │ └─Hecke [3e1990a7] log: │ │ ├─possible versions are: 0.5.0 - 0.39.16 or uninstalled │ │ ├─restricted by compatibility requirements with Oscar [f1435218] to versions: [0.30.0 - 0.30.12, 0.32.0 - 0.32.3, 0.34.3 - 0.34.9, 0.35.10 - 0.36.3, 0.38.5 - 0.38.8, 0.39.1 - 0.39.16] │ │ │ └─Oscar [f1435218] log: see above │ │ └─restricted by compatibility requirements with Nemo [2edaba10] to versions: [0.29.0 - 0.30.12, 0.31.5 - 0.32.3, 0.34.0 - 0.34.9, 0.35.12 - 0.36.3, 0.38.0 - 0.39.3, 0.39.8 - 0.39.15] or uninstalled, leaving only versions: [0.30.0 - 0.30.12, 0.32.0 - 0.32.3, 0.34.3 - 0.34.9, 0.35.12 - 0.36.3, 0.38.5 - 0.38.8, 0.39.1 - 0.39.3, 0.39.8 - 0.39.15] │ │ └─Nemo [2edaba10] log: see above │ └─restricted by compatibility requirements with polymake_jll [7c209550] to versions: [0.1.0 - 0.3.0, 0.8.1 - 0.13.5] or uninstalled, leaving only versions: 0.1.0 - 0.3.0 or uninstalled │ └─polymake_jll [7c209550] log: │ ├─possible versions are: 4.1.0 - 400.1500.3 or uninstalled │ ├─restricted by compatibility requirements with cddlib_jll [f07e07eb] to versions: 4.1.0 - 400.1300.4 or uninstalled │ │ └─cddlib_jll [f07e07eb] log: │ │ ├─possible versions are: 0.94.10 - 0.94.15 or uninstalled │ │ └─restricted by compatibility requirements with CDDLib [3391f64e] to versions: 0.94.14 │ │ └─CDDLib [3391f64e] log: │ │ ├─possible versions are: 0.4.0 - 0.10.2 or uninstalled │ │ └─restricted by compatibility requirements with TropicalNN [45302f6a] to versions: 0.9.4 │ │ └─TropicalNN [45302f6a] log: see above │ └─restricted by compatibility requirements with FLINT_jll [e134572f] to versions: [4.1.0 - 4.2.1, 400.700.0 - 400.1100.1, 400.1100.3 - 400.1500.2] or uninstalled, leaving only versions: [4.1.0 - 4.2.1, 400.700.0 - 400.1100.1, 400.1100.3 - 400.1300.4] or uninstalled │ └─FLINT_jll [e134572f] log: see above ├─restricted by compatibility requirements with BinaryProvider [b99e7846] to versions: 0.5.0 - 0.13.11 or uninstalled, leaving only versions: [0.5.0 - 0.7.0, 0.13.0 - 0.13.11] or uninstalled │ └─BinaryProvider [b99e7846] log: see above ├─restricted by compatibility requirements with Oscar [f1435218] to versions: [0.11.14 - 0.12.2, 0.13.1 - 0.13.11], leaving only versions: 0.13.1 - 0.13.11 │ └─Oscar [f1435218] log: see above └─restricted by compatibility requirements with polymake_jll [7c209550] to versions: [0.1.0 - 0.5.3, 0.5.6 - 0.12.2] or uninstalled — no versions left └─polymake_jll [7c209550] log: see above Stacktrace: [1] propagate_constraints!(graph::Pkg.Resolve.Graph, sources::Set{Int64}; log_events::Bool, err_msg_preamble::String) @ Pkg.Resolve /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Resolve/graphtype.jl:1195 [2] Set{Int64}() @ Base /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Resolve/graphtype.jl:1112 [inlined] [3] propagate_constraints!(graph::Pkg.Resolve.Graph) @ Pkg.Resolve /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Resolve/graphtype.jl:1112 [inlined] [4] simplify_graph!(graph::Pkg.Resolve.Graph, sources::Set{Int64}; validate_versions::Bool) @ Pkg.Resolve /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Resolve/graphtype.jl:1719 [5] iterate(A::Vector{PackageSpec}) @ Base /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Resolve/graphtype.jl:1718 [inlined] [6] collect_developed(env::Pkg.Types.EnvCache, pkgs::Vector{PackageSpec}) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Resolve/graphtype.jl:1718 [inlined] [7] resolve_versions!(env::Pkg.Types.EnvCache, registries::Vector{Pkg.Registry.RegistryInstance}, pkgs::Vector{PackageSpec}, julia_version::VersionNumber, installed_only::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:828 [8] targeted_resolve @ /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:2219 [inlined] [9] tiered_resolve(env::Pkg.Types.EnvCache, registries::Vector{Pkg.Registry.RegistryInstance}, pkgs::Vector{PackageSpec}, julia_version::VersionNumber, try_all_installed::Bool) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:2208 [10] _resolve(io::IOContext{IO}, env::Pkg.Types.EnvCache, registries::Vector{Pkg.Registry.RegistryInstance}, pkgs::Vector{PackageSpec}, preserve::PreserveLevel, julia_version::VersionNumber) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:2233 [11] add(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}, new_git::Set{UUID}; allow_autoprecomp::Bool, preserve::PreserveLevel, platform::Base.BinaryPlatforms.Platform, target::Symbol) @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:2346 [12] !=(x::Pkg.Versions.VersionSpec, y::Pkg.Versions.VersionSpec) @ Base /opt/julia/share/julia/stdlib/v1.14/Pkg/src/Operations.jl:2295 [inlined] [13] add(ctx::Pkg.Types.Context, pkgs::Vector{PackageSpec}; preserve::PreserveLevel, platform::Base.BinaryPlatforms.Platform, target::Symbol, allow_autoprecomp::Bool, kwargs::@Kwargs{io::IOContext{IO}}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:379 [14] add(pkgs::Vector{PackageSpec}; io::IOContext{IO}, kwargs::@Kwargs{}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:172 [15] add(pkgs::Vector{PackageSpec}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:161 [16] add(pkg::PackageSpec; kwargs::@Kwargs{}) @ Pkg.API /opt/julia/share/julia/stdlib/v1.14/Pkg/src/API.jl:159 [inlined] [17] top-level scope @ /PkgEval.jl/scripts/evaluate.jl:116 [18] include(mod::Module, _path::String) @ Base ./Base.jl:326 [19] exec_options(opts::Base.JLOptions) @ Base ./client.jl:352 [20] _start() @ Base ./client.jl:593 in expression starting at /PkgEval.jl/scripts/evaluate.jl:113 PkgEval skipped after 26.31s: package could not be installed