Package evaluation of AlgebraicRewriting on Julia 1.13.0-DEV.582 (c0a1728d50*) started at 2025-05-14T13:56:12.423


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


Set-up completed after 0.28s


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

Installing AlgebraicRewriting...
   Resolving package versions...
   Installed JuliaVariables ────────────── v0.2.4
   Installed AlgebraicInterfaces ───────── v0.1.4
   Installed CompTime ──────────────────── v0.1.2
   Installed LightXML ──────────────────── v0.9.1
   Installed NameResolution ────────────── v0.1.5
   Installed MacroTools ────────────────── v0.5.16
   Installed DataStructures ────────────── v0.18.22
   Installed GATlab ────────────────────── v0.1.4
   Installed DataAPI ───────────────────── v1.16.0
   Installed Compat ────────────────────── v4.16.0
   Installed Combinatorics ─────────────── v1.0.3
   Installed OrderedCollections ────────── v1.8.0
   Installed IteratorInterfaceExtensions ─ v1.0.0
   Installed Statistics ────────────────── v1.11.1
   Installed PrecompileTools ───────────── v1.3.2
   Installed Colors ────────────────────── v0.13.0
   Installed DataValueInterfaces ───────── v1.0.0
   Installed StaticArraysCore ──────────── v1.4.3
   Installed Measures ──────────────────── v0.3.2
   Installed PrettyPrint ───────────────── v0.2.0
   Installed PEG ───────────────────────── v1.0.4
   Installed StaticArrays ──────────────── v1.9.13
   Installed ColorTypes ────────────────── v0.12.1
   Installed StringManipulation ────────── v0.4.1
   Installed JSON3 ─────────────────────── v1.14.2
   Installed Requires ──────────────────── v1.3.1
   Installed JSON ──────────────────────── v0.21.4
   Installed AlgebraicRewriting ────────── v0.4.2
┌ Warning: tarball content does not match git-tree-sha1
└ @ Pkg.Operations /opt/julia/share/julia/stdlib/v1.13/Pkg/src/Operations.jl:766
   Installed Parsers ───────────────────── v2.8.3
   Installed Tables ────────────────────── v1.12.0
   Installed PrettyTables ──────────────── v2.4.0
   Installed GeneralizedGenerated ──────── v0.3.3
   Installed XML2_jll ──────────────────── v2.13.6+1
   Installed StructEquality ────────────── v2.1.0
   Installed Reexport ──────────────────── v1.2.2
   Installed Preferences ───────────────── v1.4.3
   Installed FixedPointNumbers ─────────── v0.8.5
   Installed Libiconv_jll ──────────────── v1.18.0+0
   Installed JLLWrappers ───────────────── v1.7.0
   Installed TableTraits ───────────────── v1.0.1
   Installed LaTeXStrings ──────────────── v1.4.0
   Installed Crayons ───────────────────── v4.1.1
   Installed StructTypes ───────────────── v1.11.0
   Installed Permutations ──────────────── v0.4.23
   Installed MLStyle ───────────────────── v0.4.17
   Installed IterTools ─────────────────── v1.10.0
   Installed Compose ───────────────────── v0.9.6
   Installed Catlab ────────────────────── v0.16.19
     Cloning [227ef7b5-1206-438b-ac65-934d6da304b8] ACSets from https://github.com/AlgebraicJulia/ACSets.jl.git
   Installed ACSets ────────────────────── v0.2.24
  Installing 2 artifacts
   Installed artifact Libiconv 1.9 MiB
   Installed artifact XML2     2.5 MiB
    Updating `~/.julia/environments/v1.13/Project.toml`
  [725a01d3] + AlgebraicRewriting v0.4.2
    Updating `~/.julia/environments/v1.13/Manifest.toml`
  [227ef7b5] + ACSets v0.2.24
  [23cfdc9f] + AlgebraicInterfaces v0.1.4
  [725a01d3] + AlgebraicRewriting v0.4.2
  [134e5e36] + Catlab v0.16.19
  [3da002f7] + ColorTypes v0.12.1
  [5ae59095] + Colors v0.13.0
  [861a8166] + Combinatorics v1.0.3
  [0fb5dd42] + CompTime v0.1.2
  [34da2185] + Compat v4.16.0
  [a81c6b42] + Compose v0.9.6
  [a8cc5b0e] + Crayons v4.1.1
  [9a962f9c] + DataAPI v1.16.0
  [864edb3b] + DataStructures v0.18.22
  [e2d170a0] + DataValueInterfaces v1.0.0
  [53c48c17] + FixedPointNumbers v0.8.5
⌅ [f0ffcf3b] + GATlab v0.1.4
  [6b9d7cbe] + GeneralizedGenerated v0.3.3
  [c8e1da08] + IterTools v1.10.0
  [82899510] + IteratorInterfaceExtensions v1.0.0
  [692b3bcd] + JLLWrappers v1.7.0
  [682c06a0] + JSON v0.21.4
  [0f8b85d8] + JSON3 v1.14.2
  [b14d175d] + JuliaVariables v0.2.4
  [b964fa9f] + LaTeXStrings v1.4.0
  [9c8b4983] + LightXML v0.9.1
  [d8e11817] + MLStyle v0.4.17
  [1914dd2f] + MacroTools v0.5.16
  [442fdcdd] + Measures v0.3.2
  [71a1bf82] + NameResolution v0.1.5
  [bac558e1] + OrderedCollections v1.8.0
  [12d937ae] + PEG v1.0.4
  [69de0a69] + Parsers v2.8.3
  [2ae35dd2] + Permutations v0.4.23
  [aea7be01] + PrecompileTools v1.3.2
  [21216c6a] + Preferences v1.4.3
  [8162dcfd] + PrettyPrint v0.2.0
  [08abe8d2] + PrettyTables v2.4.0
  [189a3867] + Reexport v1.2.2
  [ae029012] + Requires v1.3.1
  [90137ffa] + StaticArrays v1.9.13
  [1e83bf80] + StaticArraysCore v1.4.3
  [10745b16] + Statistics v1.11.1
  [892a3eda] + StringManipulation v0.4.1
  [6ec83bb0] + StructEquality v2.1.0
  [856f2bd8] + StructTypes v1.11.0
  [3783bdb8] + TableTraits v1.0.1
  [bd369af6] + Tables v1.12.0
  [94ce4f54] + Libiconv_jll v1.18.0+0
⌅ [02c8fc9c] + XML2_jll v2.13.6+1
  [0dad84c5] + ArgTools v1.1.2
  [56f22d72] + Artifacts v1.11.0
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates v1.11.0
  [f43a241f] + Downloads v1.7.0
  [7b1f6079] + FileWatching v1.11.0
  [b77e0a4c] + InteractiveUtils v1.11.0
  [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0
  [b27032c2] + LibCURL v0.6.4
  [76f85450] + LibGit2 v1.11.0
  [8f399da3] + Libdl v1.11.0
  [37e2e46d] + LinearAlgebra v1.12.0
  [56ddb016] + Logging v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [a63ad114] + Mmap v1.11.0
  [ca575930] + NetworkOptions v1.3.0
  [44cfe95a] + Pkg v1.13.0
  [de0858da] + Printf v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v0.7.0
  [9e88b42a] + Serialization v1.11.0
  [2f01184e] + SparseArrays v1.12.0
  [f489334b] + StyledStrings v1.11.0
  [fa267f1f] + TOML v1.0.3
  [a4e569a6] + Tar v1.10.0
  [8dfed614] + Test v1.11.0
  [cf7118a7] + UUIDs v1.11.0
  [4ec0a83e] + Unicode v1.11.0
  [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1
  [deac9b47] + LibCURL_jll v8.12.1+1
  [e37daf67] + LibGit2_jll v1.9.0+0
  [29816b5a] + LibSSH2_jll v1.11.3+1
  [14a3606d] + MozillaCACerts_jll v2025.2.25
  [4536629a] + OpenBLAS_jll v0.3.29+0
  [458c3c95] + OpenSSL_jll v3.5.0+0
  [bea87d4a] + SuiteSparse_jll v7.10.1+0
  [83775a58] + Zlib_jll v1.3.1+2
  [8e850b90] + libblastrampoline_jll v5.12.0+0
  [8e850ede] + nghttp2_jll v1.65.0+0
  [3f19e933] + p7zip_jll v17.5.0+2
        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 13.56s


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

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

Precompiling package dependencies...
Precompiling packages...
   4579.3 ms  ✓ MacroTools
   1257.0 ms  ✓ OrderedCollections
    703.5 ms  ✓ IteratorInterfaceExtensions
   1807.6 ms  ✓ Crayons
   1107.5 ms  ✓ Measures
   1168.9 ms  ✓ Statistics
    863.8 ms  ✓ StaticArraysCore
    757.3 ms  ✓ Reexport
    887.1 ms  ✓ PrettyPrint
   1143.3 ms  ✓ IterTools
    772.9 ms  ✓ DataValueInterfaces
    808.5 ms  ✓ DataAPI
    846.9 ms  ✓ PEG
    827.9 ms  ✓ LaTeXStrings
    716.3 ms  ✓ AlgebraicInterfaces
  23974.5 ms  ✓ MLStyle
   2193.7 ms  ✓ Combinatorics
   1224.5 ms  ✓ Requires
   1737.6 ms  ✓ StructTypes
   1230.4 ms  ✓ Preferences
   1256.4 ms  ✓ Compat
    886.9 ms  ✓ TableTraits
   1411.0 ms  ✓ Statistics → SparseArraysExt
   3903.9 ms  ✓ FixedPointNumbers
   1539.0 ms  ✓ NameResolution
  10644.8 ms  ✓ CompTime
   1220.9 ms  ✓ Permutations
   1213.9 ms  ✓ JLLWrappers
   1391.0 ms  ✓ PrecompileTools
   1348.8 ms  ✓ Compat → CompatLinearAlgebraExt
   2411.3 ms  ✓ Tables
   2996.8 ms  ✓ ColorTypes
  12000.0 ms  ✓ JuliaVariables
   1454.2 ms  ✓ Libiconv_jll
  14014.5 ms  ✓ StaticArrays
   3215.1 ms  ✓ StringManipulation
  17944.4 ms  ✓ Parsers
   4491.8 ms  ✓ DataStructures
   1001.0 ms  ✓ StructEquality
   8112.1 ms  ✓ Colors
   1426.7 ms  ✓ ColorTypes → StyledStringsExt
   1804.4 ms  ✓ XML2_jll
   1499.6 ms  ✓ StaticArrays → StaticArraysStatisticsExt
  30877.9 ms  ✓ PrettyTables
  15337.7 ms  ✓ JSON3
   4035.4 ms  ✓ JSON
  12868.3 ms  ✓ GeneralizedGenerated
   2210.7 ms  ✓ LightXML
  36190.4 ms  ✓ ACSets
   7384.7 ms  ✓ Compose
  72181.3 ms  ✓ GATlab
           ✗ Catlab
           ✗ AlgebraicRewriting
  51 dependencies successfully precompiled in 351 seconds. 31 already precompiled.
  1 dependency had output during precompilation:
┌ ACSets
│  WARNING: Constructor for type "Where" was extended in `Query` without explicit qualification or import.
│    NOTE: Assumed "Where" refers to `MLStyle.Where`. This behavior is deprecated and may differ in future versions.
│    NOTE: This behavior may have differed in Julia versions prior to 1.12.
│    Hint: If you intended to create a new generic function of the same name, use `function Where end`.
│    Hint: To silence the warning, qualify `Where` as `MLStyle.Where` in the method signature or explicitly `import MLStyle: Where`.
└  

ERROR: LoadError: The following 1 direct dependency failed to precompile:

AlgebraicRewriting 

Failed to precompile AlgebraicRewriting [725a01d3-f174-5bbd-84e1-b9417bad95d9] to "/home/pkgeval/.julia/compiled/v1.13/AlgebraicRewriting/jl_WIJzbY" (ProcessExited(1)).
ERROR: LoadError: UndefVarError: `ThCategory` not defined in `Catlab.Theories`
Suggestion: check for spelling errors or missing imports.
Stacktrace:
  [1] top-level scope
    @ :0
  [2] #macroexpand#23
    @ ./expr.jl:126 [inlined]
  [3] macroexpand(m::Module, x::Any)
    @ Base ./expr.jl:124
  [4] var"@symbolic_model"(__source__::LineNumberNode, __module__::Module, decl::Any, theoryname::Any, body::Any)
    @ GATlab.Models.SymbolicModels ~/.julia/packages/GATlab/fO07H/src/models/SymbolicModels.jl:235
  [5] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool)
    @ Base ./flfrontend.jl:24
  [6] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
  [7] top-level scope
    @ ~/.julia/packages/Catlab/jPXBM/src/theories/Theories.jl:37
  [8] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
  [9] top-level scope
    @ ~/.julia/packages/Catlab/jPXBM/src/Catlab.jl:5
 [10] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [11] 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::String)
    @ Base ./loading.jl:2983
 [12] top-level scope
    @ stdin:5
 [13] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2829
 [15] include_string
    @ ./loading.jl:2839 [inlined]
 [16] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [17] _start()
    @ Base ./client.jl:564
in expression starting at /home/pkgeval/.julia/packages/Catlab/jPXBM/src/theories/Category.jl:15
in expression starting at /home/pkgeval/.julia/packages/Catlab/jPXBM/src/theories/Category.jl:15
in expression starting at /home/pkgeval/.julia/packages/Catlab/jPXBM/src/theories/Theories.jl:1
in expression starting at /home/pkgeval/.julia/packages/Catlab/jPXBM/src/Catlab.jl:1
in expression starting at stdin:5
ERROR: LoadError: Failed to precompile Catlab [134e5e36-593f-5add-ad60-77f754baafbe] to "/home/pkgeval/.julia/compiled/v1.13/Catlab/jl_9TU7yI" (ProcessExited(1)).
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)
    @ Base ./loading.jl:3270
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base ./loading.jl:2652
  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:93
  [5] #mkpidlock#7
    @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:114
  [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any})
    @ Base ./reflection.jl:1279
  [8] #invokelatest_gr#232
    @ ./reflection.jl:1287 [inlined]
  [9] invokelatest_gr
    @ ./reflection.jl:1281 [inlined]
 [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)
    @ Base ./loading.jl:3841
 [11] maybe_cachefile_lock
    @ ./loading.jl:3838 [inlined]
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2638
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2466
 [14] macro expansion
    @ ./loading.jl:2394 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2359
 [17] require
    @ ./loading.jl:2335 [inlined]
 [18] eval_import_path
    @ ./module.jl:36 [inlined]
 [19] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [20] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [21] top-level scope
    @ ~/.julia/packages/AlgebraicRewriting/xBi5g/src/categorical_algebra/FinSets.jl:4
 [22] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
 [23] top-level scope
    @ ~/.julia/packages/AlgebraicRewriting/xBi5g/src/categorical_algebra/CategoricalAlgebra.jl:10
 [24] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
 [25] top-level scope
    @ ~/.julia/packages/AlgebraicRewriting/xBi5g/src/AlgebraicRewriting.jl:4
 [26] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [27] 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:2983
 [28] top-level scope
    @ stdin:5
 [29] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [30] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2829
 [31] include_string
    @ ./loading.jl:2839 [inlined]
 [32] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [33] _start()
    @ Base ./client.jl:564
in expression starting at /home/pkgeval/.julia/packages/AlgebraicRewriting/xBi5g/src/categorical_algebra/FinSets.jl:1
in expression starting at /home/pkgeval/.julia/packages/AlgebraicRewriting/xBi5g/src/categorical_algebra/CategoricalAlgebra.jl:1
in expression starting at /home/pkgeval/.julia/packages/AlgebraicRewriting/xBi5g/src/AlgebraicRewriting.jl:1
in expression starting at stdin:
in expression starting at /PkgEval.jl/scripts/precompile.jl:37

Precompilation failed after 356.72s



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

Loading AlgebraicRewriting...
Precompiling packages...
           ✗ Catlab
Info Given AlgebraicRewriting was explicitly requested, output will be shown live 
ERROR: LoadError: UndefVarError: `ThCategory` not defined in `Catlab.Theories`
Suggestion: check for spelling errors or missing imports.
Stacktrace:
  [1] top-level scope
    @ :0
  [2] #macroexpand#23
    @ ./expr.jl:126 [inlined]
  [3] macroexpand(m::Module, x::Any)
    @ Base ./expr.jl:124
  [4] var"@symbolic_model"(__source__::LineNumberNode, __module__::Module, decl::Any, theoryname::Any, body::Any)
    @ GATlab.Models.SymbolicModels ~/.julia/packages/GATlab/fO07H/src/models/SymbolicModels.jl:235
  [5] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool)
    @ Base ./flfrontend.jl:24
  [6] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
  [7] top-level scope
    @ ~/.julia/packages/Catlab/jPXBM/src/theories/Theories.jl:37
  [8] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
  [9] top-level scope
    @ ~/.julia/packages/Catlab/jPXBM/src/Catlab.jl:5
 [10] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [11] 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::String)
    @ Base ./loading.jl:2983
 [12] top-level scope
    @ stdin:5
 [13] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2829
 [15] include_string
    @ ./loading.jl:2839 [inlined]
 [16] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [17] _start()
    @ Base ./client.jl:564
in expression starting at /home/pkgeval/.julia/packages/Catlab/jPXBM/src/theories/Category.jl:15
in expression starting at /home/pkgeval/.julia/packages/Catlab/jPXBM/src/theories/Category.jl:15
in expression starting at /home/pkgeval/.julia/packages/Catlab/jPXBM/src/theories/Theories.jl:1
in expression starting at /home/pkgeval/.julia/packages/Catlab/jPXBM/src/Catlab.jl:1
in expression starting at stdin:5
ERROR: LoadError: Failed to precompile Catlab [134e5e36-593f-5add-ad60-77f754baafbe] to "/home/pkgeval/.julia/compiled/v1.13/Catlab/jl_w0ZNmJ" (ProcessExited(1)).
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)
    @ Base ./loading.jl:3270
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base ./loading.jl:2652
  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:93
  [5] #mkpidlock#7
    @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:114
  [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any})
    @ Base ./reflection.jl:1279
  [8] #invokelatest_gr#232
    @ ./reflection.jl:1287 [inlined]
  [9] invokelatest_gr
    @ ./reflection.jl:1281 [inlined]
 [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)
    @ Base ./loading.jl:3841
 [11] maybe_cachefile_lock
    @ ./loading.jl:3838 [inlined]
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2638
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2466
 [14] macro expansion
    @ ./loading.jl:2394 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2359
 [17] require
    @ ./loading.jl:2335 [inlined]
 [18] eval_import_path
    @ ./module.jl:36 [inlined]
 [19] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [20] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [21] top-level scope
    @ ~/.julia/packages/AlgebraicRewriting/xBi5g/src/categorical_algebra/FinSets.jl:4
 [22] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
 [23] top-level scope
    @ ~/.julia/packages/AlgebraicRewriting/xBi5g/src/categorical_algebra/CategoricalAlgebra.jl:10
 [24] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
 [25] top-level scope
    @ ~/.julia/packages/AlgebraicRewriting/xBi5g/src/AlgebraicRewriting.jl:4
 [26] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [27] 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:2983
 [28] top-level scope
    @ stdin:5
 [29] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [30] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2829
 [31] include_string
    @ ./loading.jl:2839 [inlined]
 [32] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [33] _start()
    @ Base ./client.jl:564
in expression starting at /home/pkgeval/.julia/packages/AlgebraicRewriting/xBi5g/src/categorical_algebra/FinSets.jl:1
in expression starting at /home/pkgeval/.julia/packages/AlgebraicRewriting/xBi5g/src/categorical_algebra/CategoricalAlgebra.jl:1
in expression starting at /home/pkgeval/.julia/packages/AlgebraicRewriting/xBi5g/src/AlgebraicRewriting.jl:1
in expression starting at stdin:5
           ✗ AlgebraicRewriting
  0 dependencies successfully precompiled in 23 seconds. 82 already precompiled.

ERROR: The following 1 direct dependency failed to precompile:

AlgebraicRewriting 

Failed to precompile AlgebraicRewriting [725a01d3-f174-5bbd-84e1-b9417bad95d9] to "/home/pkgeval/.julia/compiled/v1.13/AlgebraicRewriting/jl_6dlUYH" (ProcessExited(1)).
ERROR: LoadError: UndefVarError: `ThCategory` not defined in `Catlab.Theories`
Suggestion: check for spelling errors or missing imports.
Stacktrace:
  [1] top-level scope
    @ :0
  [2] #macroexpand#23
    @ ./expr.jl:126 [inlined]
  [3] macroexpand(m::Module, x::Any)
    @ Base ./expr.jl:124
  [4] var"@symbolic_model"(__source__::LineNumberNode, __module__::Module, decl::Any, theoryname::Any, body::Any)
    @ GATlab.Models.SymbolicModels ~/.julia/packages/GATlab/fO07H/src/models/SymbolicModels.jl:235
  [5] fl_lower(ex::Expr, mod::Module, filename::String, lineno::UInt64, world::UInt64, warn::Bool)
    @ Base ./flfrontend.jl:24
  [6] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
  [7] top-level scope
    @ ~/.julia/packages/Catlab/jPXBM/src/theories/Theories.jl:37
  [8] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
  [9] top-level scope
    @ ~/.julia/packages/Catlab/jPXBM/src/Catlab.jl:5
 [10] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [11] 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::String)
    @ Base ./loading.jl:2983
 [12] top-level scope
    @ stdin:5
 [13] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [14] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2829
 [15] include_string
    @ ./loading.jl:2839 [inlined]
 [16] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [17] _start()
    @ Base ./client.jl:564
in expression starting at /home/pkgeval/.julia/packages/Catlab/jPXBM/src/theories/Category.jl:15
in expression starting at /home/pkgeval/.julia/packages/Catlab/jPXBM/src/theories/Category.jl:15
in expression starting at /home/pkgeval/.julia/packages/Catlab/jPXBM/src/theories/Theories.jl:1
in expression starting at /home/pkgeval/.julia/packages/Catlab/jPXBM/src/Catlab.jl:1
in expression starting at stdin:5
ERROR: LoadError: Failed to precompile Catlab [134e5e36-593f-5add-ad60-77f754baafbe] to "/home/pkgeval/.julia/compiled/v1.13/Catlab/jl_w0ZNmJ" (ProcessExited(1)).
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:44
  [2] compilecache(pkg::Base.PkgId, path::String, internal_stderr::IO, internal_stdout::IO, keep_loaded_modules::Bool; flags::Cmd, cacheflags::Base.CacheFlags, reasons::Dict{String, Int64}, loadable_exts::Nothing)
    @ Base ./loading.jl:3270
  [3] (::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId})()
    @ Base ./loading.jl:2652
  [4] mkpidlock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, at::String, pid::Int32; kwopts::@Kwargs{stale_age::Int64, wait::Bool})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:93
  [5] #mkpidlock#7
    @ /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:88 [inlined]
  [6] trymkpidlock(::Function, ::Vararg{Any}; kwargs::@Kwargs{stale_age::Int64})
    @ FileWatching.Pidfile /opt/julia/share/julia/stdlib/v1.13/FileWatching/src/pidfile.jl:114
  [7] apply_gr_kw(::NamedTuple, ::GlobalRef, ::Any, ::Vararg{Any})
    @ Base ./reflection.jl:1279
  [8] #invokelatest_gr#232
    @ ./reflection.jl:1287 [inlined]
  [9] invokelatest_gr
    @ ./reflection.jl:1281 [inlined]
 [10] maybe_cachefile_lock(f::Base.var"#__require_prelocked##0#__require_prelocked##1"{Base.PkgId}, pkg::Base.PkgId, srcpath::String; stale_age::Int64)
    @ Base ./loading.jl:3841
 [11] maybe_cachefile_lock
    @ ./loading.jl:3838 [inlined]
 [12] __require_prelocked(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:2638
 [13] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:2466
 [14] macro expansion
    @ ./loading.jl:2394 [inlined]
 [15] macro expansion
    @ ./lock.jl:376 [inlined]
 [16] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:2359
 [17] require
    @ ./loading.jl:2335 [inlined]
 [18] eval_import_path
    @ ./module.jl:36 [inlined]
 [19] eval_import_path_all(at::Module, path::Expr, keyword::String)
    @ Base ./module.jl:60
 [20] _eval_using(to::Module, path::Expr)
    @ Base ./module.jl:137
 [21] top-level scope
    @ ~/.julia/packages/AlgebraicRewriting/xBi5g/src/categorical_algebra/FinSets.jl:4
 [22] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
 [23] top-level scope
    @ ~/.julia/packages/AlgebraicRewriting/xBi5g/src/categorical_algebra/CategoricalAlgebra.jl:10
 [24] include(mapexpr::Function, mod::Module, _path::String)
    @ Base ./Base.jl:310
 [25] top-level scope
    @ ~/.julia/packages/AlgebraicRewriting/xBi5g/src/AlgebraicRewriting.jl:4
 [26] include(mod::Module, _path::String)
    @ Base ./Base.jl:309
 [27] 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:2983
 [28] top-level scope
    @ stdin:5
 [29] eval(m::Module, e::Any)
    @ Core ./boot.jl:489
 [30] include_string(mapexpr::typeof(identity), mod::Module, code::String, filename::String)
    @ Base ./loading.jl:2829
 [31] include_string
    @ ./loading.jl:2839 [inlined]
 [32] exec_options(opts::Base.JLOptions)
    @ Base ./client.jl:329
 [33] _start()
    @ Base ./client.jl:564
in expression starting at /home/pkgeval/.julia/packages/AlgebraicRewriting/xBi5g/src/categorical_algebra/FinSets.jl:1
in expression starting at /home/pkgeval/.julia/packages/AlgebraicRewriting/xBi5g/src/categorical_algebra/CategoricalAlgebra.jl:1
in expression starting at /home/pkgeval/.julia/packages/AlgebraicRewriting/xBi5g/src/AlgebraicRewriting.jl:1
in expression starting at stdin:

Loading failed after 26.25s

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 AlgebraicRewriting'`, ProcessExited(1)) [1]

Stacktrace:
 [1] pipeline_error
   @ ./process.jl:602 [inlined]
 [2] run(::Cmd; wait::Bool)
   @ Base ./process.jl:517
 [3] run(::Cmd)
   @ Base ./process.jl:514
 [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:331
 [7] _start()
   @ Base ./client.jl:564
in expression starting at /PkgEval.jl/scripts/evaluate.jl:184

PkgEval failed after 420.4s: package fails to precompile