Package evaluation to load Indefinite on Julia 1.14.0-DEV.2114 (cccbcd9611*) started at 2026-05-05T16:26:44.671 ################################################################################ # Set-up # Set-up completed after 0.11s ################################################################################ # Installation # Installing Indefinite... Resolving package versions... Installation failed after 9.87s 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 Nemo [2edaba10] to versions: [0.1.0 - 0.3.0, 0.3.2 - 0.13.11] or uninstalled │ └─Nemo [2edaba10] log: │ ├─possible versions are: 0.9.0 - 0.55.0 or uninstalled │ ├─restricted by compatibility requirements with Indefinite [45c00fa2] to versions: 0.33.0 - 0.33.8 │ │ └─Indefinite [45c00fa2] log: │ │ ├─possible versions are: 0.1.2 or uninstalled │ │ └─restricted to versions 0.1.2 by an explicit requirement, leaving only versions: 0.1.2 │ └─restricted by compatibility requirements with Oscar [f1435218] to versions: 0.33.7 - 0.33.8 │ └─Oscar [f1435218] log: │ ├─possible versions are: 0.2.0 - 1.7.2 or uninstalled │ ├─restricted by compatibility requirements with Indefinite [45c00fa2] to versions: 0.12.0 - 0.12.1 │ │ └─Indefinite [45c00fa2] log: see above │ └─restricted by compatibility requirements with Nemo [2edaba10] to versions: 0.12.0 or uninstalled, leaving only versions: 0.12.0 │ └─Nemo [2edaba10] log: see above ├─restricted by compatibility requirements with FLINT_jll [e134572f] to versions: [0.1.0 - 0.4.3, 0.5.7 - 0.13.11] or uninstalled, leaving only versions: [0.1.0 - 0.3.0, 0.3.2 - 0.4.3, 0.5.7 - 0.13.11] 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.4 - 200.900.9 │ └─Nemo [2edaba10] log: see above ├─restricted by compatibility requirements with polymake_jll [7c209550] to versions: [0.1.0 - 0.5.3, 0.5.6 - 0.11.17] or uninstalled, leaving only versions: [0.1.0 - 0.3.0, 0.3.2 - 0.4.3, 0.5.7 - 0.11.17] or uninstalled │ └─polymake_jll [7c209550] log: │ ├─possible versions are: 4.1.0 - 400.1500.3 or uninstalled │ └─restricted by compatibility requirements with FLINT_jll [e134572f] to versions: [4.1.0 - 4.2.1, 400.700.0 - 400.1100.1] or uninstalled │ └─FLINT_jll [e134572f] log: see above ├─restricted by compatibility requirements with libpolymake_julia_jll [4d8266f6] to versions: 0.1.0 - 0.5.3 or uninstalled, leaving only versions: [0.1.0 - 0.3.0, 0.3.2 - 0.4.3] 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] or uninstalled, leaving only versions: 0.1.0 - 0.4.117 or uninstalled │ │ └─FLINT_jll [e134572f] log: see above │ └─restricted by compatibility requirements with polymake_jll [7c209550] to versions: [0.1.0 - 0.3.0, 0.8.1 - 0.11.2, 0.11.4] or uninstalled, leaving only versions: 0.1.0 - 0.3.0 or uninstalled │ └─polymake_jll [7c209550] log: see above ├─restricted by compatibility requirements with BinaryProvider [b99e7846] to versions: 0.5.0 - 0.13.11 or uninstalled, leaving only versions: 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.9.0 - 0.9.2 — no versions left └─Oscar [f1435218] 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.18s: package could not be installed