Package evaluation to load SatSolver on Julia 1.14.0-DEV.1352 (749bc618c5*) started at 2025-12-09T20:05:12.963 ################################################################################ # Set-up # Set-up completed after 0.13s ################################################################################ # Installation # Installing SatSolver... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [19162200] + SatSolver v0.1.0 Updating `~/.julia/environments/v1.14/Manifest.toml` [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 [e2d170a0] + DataValueInterfaces v1.0.0 [59287772] + Formatting v0.4.3 [82899510] + IteratorInterfaceExtensions v1.0.0 [bac558e1] + OrderedCollections v1.8.1 ⌅ [08abe8d2] + PrettyTables v1.3.1 [189a3867] + Reexport v1.2.2 [19162200] + SatSolver v0.1.0 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [2a0f44e3] + Base64 v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [de0858da] + Printf v1.11.0 [f489334b] + StyledStrings v1.13.0 [4ec0a83e] + Unicode v1.11.0 Info Packages marked with ⌅ have new versions available but compatibility constraints restrict them from upgrading. To see why use `status --outdated -m` Installation completed after 2.3s ################################################################################ # Precompilation # ERROR: LoadError: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Nothing) The function `setindex!` exists, but no method is defined for this combination of argument types. Stacktrace: [1] top-level scope @ /PkgEval.jl/scripts/precompile.jl:10 [2] include(mod::Module, _path::String) @ Base ./Base.jl:309 [3] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [4] _start() @ Base ./client.jl:577 in expression starting at /PkgEval.jl/scripts/precompile.jl:6 caused by: MethodError: no method matching setindex!(::Base.ScopedValues.ScopedValue{IO}, ::Base.DevNull) The function `setindex!` exists, but no method is defined for this combination of argument types. Stacktrace: [1] top-level scope @ /PkgEval.jl/scripts/precompile.jl:7 [2] include(mod::Module, _path::String) @ Base ./Base.jl:309 [3] exec_options(opts::Base.JLOptions) @ Base ./client.jl:344 [4] _start() @ Base ./client.jl:577 Precompilation failed after 13.61s ################################################################################ # Loading # Loading SatSolver... ┌ Warning: DEPRECATION NOTICE │ │ Formatting.jl has been unmaintained for a while, with some serious │ correctness bugs compromising the original purpose of the package. As a result, │ it has been deprecated - consider using an alternative, such as │ `Format.jl` (https://github.com/JuliaString/Format.jl) or the `Printf` stdlib directly. │ │ If you are not using Formatting.jl as a direct dependency, please consider │ opening an issue on any packages you are using that do use it as a dependency. │ From Julia 1.9 onwards, you can query `]why Formatting` to figure out which │ package originally brings it in as a dependency. └ @ Formatting ~/.julia/packages/Formatting/3VxOt/src/Formatting.jl:12 1 dependency had output during precompilation: ┌ Formatting │ ┌ Warning: DEPRECATION NOTICE │ │ │ │ Formatting.jl has been unmaintained for a while, with some serious │ │ correctness bugs compromising the original purpose of the package. As a result, │ │ it has been deprecated - consider using an alternative, such as │ │ `Format.jl` (https://github.com/JuliaString/Format.jl) or the `Printf` stdlib directly. │ │ │ │ If you are not using Formatting.jl as a direct dependency, please consider │ │ opening an issue on any packages you are using that do use it as a dependency. │ │ From Julia 1.9 onwards, you can query `]why Formatting` to figure out which │ │ package originally brings it in as a dependency. │ └ @ Formatting ~/.julia/packages/Formatting/3VxOt/src/Formatting.jl:12 └ Loading completed after 14.22s PkgEval succeeded after 40.24s