Package evaluation to load Deductive on Julia 1.14.0-DEV.29 (7d6ae45e5a*) started at 2025-11-05T08:55:32.226 ################################################################################ # Set-up # Set-up completed after 0.11s ################################################################################ # Installation # Installing Deductive... Resolving package versions... Updating `~/.julia/environments/v1.14/Project.toml` [1a5e8c1d] + Deductive v0.0.7 Updating `~/.julia/environments/v1.14/Manifest.toml` [6e4b80f9] + BenchmarkTools v1.6.3 [da1fd8a2] + CodeTracking v2.0.1 [34da2185] + Compat v4.18.1 [807dbc54] + Compiler v0.1.1 [a8cc5b0e] + Crayons v4.1.1 [9a962f9c] + DataAPI v1.16.0 ⌃ [a93c6f00] + DataFrames v1.3.6 [864edb3b] + DataStructures v0.19.3 [e2d170a0] + DataValueInterfaces v1.0.0 [1a5e8c1d] + Deductive v0.0.7 [59287772] + Formatting v0.4.3 [41ab1584] + InvertedIndices v1.3.1 [82899510] + IteratorInterfaceExtensions v1.0.0 [682c06a0] + JSON v1.2.0 [aa1ae85d] + JuliaInterpreter v0.10.6 [b964fa9f] + LaTeXStrings v1.4.0 ⌅ [23fbe1c1] + Latexify v0.15.21 [6f1432cf] + LoweredCodeUtils v3.4.4 [1914dd2f] + MacroTools v0.5.16 [e1d29d7a] + Missings v1.2.0 [bac558e1] + OrderedCollections v1.8.1 [69de0a69] + Parsers v2.8.3 [2dfb63ee] + PooledArrays v1.4.3 [aea7be01] + PrecompileTools v1.3.3 [21216c6a] + Preferences v1.5.0 ⌅ [08abe8d2] + PrettyTables v1.3.1 [189a3867] + Reexport v1.2.2 [ae029012] + Requires v1.3.1 [295af30f] + Revise v3.12.0 [a2af1166] + SortingAlgorithms v1.2.2 [10745b16] + Statistics v1.11.1 [ec057cc2] + StructUtils v2.5.1 [3783bdb8] + TableTraits v1.0.1 [bd369af6] + Tables v1.12.1 [56f22d72] + Artifacts v1.11.0 [2a0f44e3] + Base64 v1.11.0 [ade2ca70] + Dates v1.11.0 [7b1f6079] + FileWatching v1.11.0 [9fa8497b] + Future v1.11.0 [b77e0a4c] + InteractiveUtils v1.11.0 [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0 [76f85450] + LibGit2 v1.11.0 [8f399da3] + Libdl v1.11.0 [37e2e46d] + LinearAlgebra v1.13.0 [56ddb016] + Logging v1.11.0 [d6f4376e] + Markdown v1.11.0 [ca575930] + NetworkOptions v1.3.0 [de0858da] + Printf v1.11.0 [9abbd945] + Profile 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 [fa267f1f] + TOML v1.0.3 [8dfed614] + Test v1.11.0 [cf7118a7] + UUIDs v1.11.0 [4ec0a83e] + Unicode v1.11.0 [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1 [e37daf67] + LibGit2_jll v1.9.1+0 [29816b5a] + LibSSH2_jll v1.11.3+1 [4536629a] + OpenBLAS_jll v0.3.29+0 [458c3c95] + OpenSSL_jll v3.5.4+0 [efcefdf7] + PCRE2_jll v10.47.0+0 [83775a58] + Zlib_jll v1.3.1+2 [8e850b90] + libblastrampoline_jll v5.15.0+0 Info Packages marked with ⌃ and ⌅ have new versions available. Those with ⌃ may be upgradable, but those with ⌅ are restricted by compatibility constraints from upgrading. To see why use `status --outdated -m` Installation completed after 4.75s ################################################################################ # 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... 3160.4 ms ✓ DataStructures 6968.4 ms ✓ PrettyTables 1332.5 ms ✓ CodeTracking 5005.4 ms ✓ Latexify 7348.3 ms ✓ JSON 1696.1 ms ✓ SortingAlgorithms 9437.0 ms ✓ JuliaInterpreter 3482.7 ms ✓ BenchmarkTools WARNING: method definition for #DataFrame#200 at /home/pkgeval/.julia/packages/DataFrames/JZ7x5/src/dataframe/dataframe.jl:397 declares type variable T but does not use it. WARNING: method definition for col_ordering at /home/pkgeval/.julia/packages/DataFrames/JZ7x5/src/abstractdataframe/sort.jl:145 declares type variable O but does not use it. 42982.2 ms ✓ DataFrames 17889.9 ms ✓ LoweredCodeUtils 6171.0 ms ✓ Latexify → DataFramesExt ┌ Warning: precompile directive │ precompile(Tuple{mbody.sig.parameters[1], Symbol, Bool, Bool, Iterators.Pairs{Symbol, Bool, Tuple{Symbol}, NamedTuple{(:skip_include,), Tuple{Bool}}}, typeof(methods_by_execution!), Compiled, MI, Module, Expr}) │ failed. Please report an issue in Revise (after checking for duplicates) or remove this directive. └ @ Revise ~/.julia/packages/Revise/CRZQG/src/precompile.jl:65 10588.3 ms ✓ Revise 12200.5 ms ✓ Deductive 13 dependencies successfully precompiled in 129 seconds. 47 already precompiled. 2 dependencies had output during precompilation: ┌ Revise │ ┌ Warning: precompile directive │ │ precompile(Tuple{mbody.sig.parameters[1], Symbol, Bool, Bool, Iterators.Pairs{Symbol, Bool, Tuple{Symbol}, NamedTuple{(:skip_include,), Tuple{Bool}}}, typeof(methods_by_execution!), Compiled, MI, Module, Expr}) │ │ failed. Please report an issue in Revise (after checking for duplicates) or remove this directive. │ └ @ Revise ~/.julia/packages/Revise/CRZQG/src/precompile.jl:65 └ ┌ DataFrames │ WARNING: method definition for #DataFrame#200 at /home/pkgeval/.julia/packages/DataFrames/JZ7x5/src/dataframe/dataframe.jl:397 declares type variable T but does not use it. │ WARNING: method definition for col_ordering at /home/pkgeval/.julia/packages/DataFrames/JZ7x5/src/abstractdataframe/sort.jl:145 declares type variable O but does not use it. └ Precompilation completed after 134.66s ################################################################################ # Loading # Loading Deductive... Loading completed after 5.85s PkgEval succeeded after 159.43s