Package evaluation to load SigmaProofs on Julia 1.14.0-DEV.29 (7d6ae45e5a*) started at 2025-11-05T07:21:11.906


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


Set-up completed after 0.11s


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

Installing SigmaProofs...
   Resolving package versions...
    Updating `~/.julia/environments/v1.14/Project.toml`
  [f8559b4c] + SigmaProofs v0.2.4
    Updating `~/.julia/environments/v1.14/Manifest.toml`
  [c3b6d118] + BitIntegers v0.3.5
  [bc997328] + CryptoGroups v0.6.1
  [d846c407] + CryptoPRG v0.2.0
  [04afed74] + CryptoUtils v0.1.1
  [18e54dd8] + IntegerMathUtils v0.1.3
  [692b3bcd] + JLLWrappers v1.7.1
  [49dea1ee] + Nettle v1.0.0
  [21216c6a] + Preferences v1.5.0
  [27ebfcd6] + Primes v0.5.7
  [f8559b4c] + SigmaProofs v0.2.4
  [4c82536e] + Nettle_jll v3.10.1+0
  [56f22d72] + Artifacts v1.11.0
  [2a0f44e3] + Base64 v1.11.0
  [ade2ca70] + Dates v1.11.0
  [b77e0a4c] + InteractiveUtils v1.11.0
  [ac6e5ff7] + JuliaSyntaxHighlighting v1.12.0
  [8f399da3] + Libdl v1.11.0
  [d6f4376e] + Markdown v1.11.0
  [de0858da] + Printf v1.11.0
  [9a3f8284] + Random v1.11.0
  [ea8e919c] + SHA v1.0.0
  [f489334b] + StyledStrings v1.11.0
  [fa267f1f] + TOML v1.0.3
  [4ec0a83e] + Unicode v1.11.0
  [e66e0078] + CompilerSupportLibraries_jll v1.3.0+1
  [781609d7] + GMP_jll v6.3.0+2

Installation completed after 6.08s


################################################################################
# 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...
    974.3 ms  ✓ Primes
    940.6 ms  ✓ CryptoUtils
   4211.0 ms  ✓ CryptoGroups
   3222.4 ms  ✓ SigmaProofs
  4 dependencies successfully precompiled in 10 seconds. 17 already precompiled.

Precompilation completed after 18.27s


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

Loading SigmaProofs...

Loading completed after 2.15s

PkgEval succeeded after 35.95s