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