Building package "lean4-git"
INFO:    Starting build...
INFO:    Verifying bootstrap image /home/u726578/chaotic/cache/lower/20230323000257.sif
WARNING: integrity: signature not found for object group 1
WARNING: Bootstrap image could not be verified, but build will continue.
INFO:    Creating sandbox directory...
INFO:    Build complete: /scratch/chaotic/sandbox/pkg5302b62f821
:: Synchronizing package databases...
 core downloading...
 extra downloading...
 community downloading...
 multilib downloading...
 chaotic-aur downloading...
:: Starting full system upgrade...
resolving dependencies...
looking for conflicting packages...

Packages (5) device-mapper-2.03.20-1  perl-error-0.17029-4  perl-mailtools-2.21-6  perl-timedate-2.33-4  git-2.40.0-1

Total Installed Size:  38.46 MiB
Net Upgrade Size:      37.71 MiB

:: Proceed with installation? [Y/n] 
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
warning: could not get file information for usr/share/man/man8/blkdeactivate.8.gz
warning: could not get file information for usr/share/man/man8/dmeventd.8.gz
warning: could not get file information for usr/share/man/man8/dmfilemapd.8.gz
warning: could not get file information for usr/share/man/man8/dmsetup.8.gz
warning: could not get file information for usr/share/man/man8/dmstats.8.gz
:: Processing package changes...
installing perl-error...
installing perl-timedate...
installing perl-mailtools...
installing git...
Optional dependencies for git
    tk: gitk and git gui
    perl-libwww: git svn
    perl-term-readkey: git svn and interactive.singlekey setting
    perl-io-socket-ssl: git send-email TLS support
    perl-authen-sasl: git send-email TLS support
    perl-mediawiki-api: git mediawiki support
    perl-datetime-format-iso8601: git mediawiki support
    perl-lwp-protocol-https: git mediawiki https support
    perl-cgi: gitweb (web interface) support
    python: git svn & git p4
    subversion: git svn
    org.freedesktop.secrets: keyring credential helper
    libsecret: libsecret credential helper [installed]
upgrading device-mapper...
:: Running post-transaction hooks...
(1/5) Creating system user accounts...
Creating group 'git' with GID 974.
Creating user 'git' (git daemon user) with UID 974 and GID 974.
(2/5) Reloading system manager configuration...
  Skipped: Current root is not booted.
(3/5) Reloading device manager configuration...
  Skipped: Device manager is not running.
(4/5) Arming ConditionNeedsUpdate...
(5/5) Warn about old perl modules
warning: glibc-2.37-2 is up to date -- skipping
warning: gmp-6.2.1-2 is up to date -- skipping
warning: git-2.40.0-1 is up to date -- skipping
resolving dependencies...
looking for conflicting packages...

Packages (6) hicolor-icon-theme-0.17-3  jsoncpp-1.9.5-2  libnsl-2.0.0-2  libuv-1.44.2-1  rhash-1.4.3-1  cmake-3.26.0-1

Total Installed Size:  72.02 MiB

:: Proceed with installation? [Y/n] 
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing hicolor-icon-theme...
installing jsoncpp...
Optional dependencies for jsoncpp
    jsoncpp-doc: documentation
installing libnsl...
installing libuv...
installing rhash...
installing cmake...
Optional dependencies for cmake
    qt6-base: cmake-gui
:: Running post-transaction hooks...
(1/1) Arming ConditionNeedsUpdate...
==> Making package: lean4-git 4.0.0.m5.r1507.g0da281fab4-1 (Thu 23 Mar 2023 07:46:22 AM -03)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Retrieving sources...
  -> Updating lean4 git repo...
From https://github.com/leanprover/lean4
 + 6540e45ff9...114fb0e643 refs/pull/1967/merge -> refs/pull/1967/merge  (forced update)
 + ae08501df8...df41138c4e refs/pull/2068/merge -> refs/pull/2068/merge  (forced update)
 + 430c01cc69...6f4643cd78 refs/pull/2090/merge -> refs/pull/2090/merge  (forced update)
 + 90fb29b4f2...775ef14649 refs/pull/2097/head  -> refs/pull/2097/head  (forced update)
 + c14c7bd57c...2680cc17f3 refs/pull/2097/merge -> refs/pull/2097/merge  (forced update)
 + b50ebec2eb...2bf7158c0e refs/pull/2135/merge -> refs/pull/2135/merge  (forced update)
 + fa332b6ae5...6dbfd03c0f refs/pull/2146/merge -> refs/pull/2146/merge  (forced update)
 + b3e1db28a5...83eb5c7232 refs/pull/2148/merge -> refs/pull/2148/merge  (forced update)
 + c0751da78d...8cd971906e refs/pull/2155/merge -> refs/pull/2155/merge  (forced update)
 + d9fb295d71...66b658b4da refs/pull/2162/head  -> refs/pull/2162/head  (forced update)
 + 82465652e8...6d43e7170c refs/pull/2162/merge -> refs/pull/2162/merge  (forced update)
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with sha256sums...
    lean4 ... Skipped
==> Extracting sources...
  -> Creating working copy of lean4 git repo...
Cloning into 'lean4'...
done.
==> Starting prepare()...
Submodule 'lake' (https://github.com/leanprover/lake.git) registered for path 'src/lake'
Cloning into '/home/main-builder/pkgwork/src/lean4/src/lake'...
Submodule path 'src/lake': checked out '18430cf941dcfc89332d0c0ff95dd356dffbb794'
==> Starting pkgver()...
==> Updated version: lean4-git 4.0.0.m5.r1541.g158d58f3c3-1
==> ERROR: A package has already been built. (use -f to overwrite)

real	0m14.633s
user	0m5.923s
sys	0m5.991s