>>> coq: Building testing/coq 8.19.1-r2 (using abuild 3.12.0-r5) started Tue, 19 Mar 2024 09:58:57 +0000 >>> coq: Checking sanity of /home/buildozer/aports/testing/coq/APKBUILD... >>> coq: Analyzing dependencies... >>> coq: Installing for build: build-base ocaml-findlib ocaml-runtime ocaml-zarith bash dune linux-headers ocaml ocaml-compiler-libs ocaml-findlib-dev (1/13) Installing ocaml-runtime (4.14.2-r0) (2/13) Installing ocaml-findlib (1.9.6-r3) (3/13) Installing libgmpxx (6.3.0-r0) (4/13) Installing gmp-dev (6.3.0-r0) (5/13) Installing ocaml-zarith (1.12-r4) (6/13) Installing readline (8.2.10-r0) (7/13) Installing bash (5.2.26-r0) Executing bash-5.2.26-r0.post-install (8/13) Installing dune (3.14.2-r0) (9/13) Installing linux-headers (6.6-r0) (10/13) Installing ocaml (4.14.2-r0) (11/13) Installing ocaml-compiler-libs (4.14.2-r0) (12/13) Installing ocaml-findlib-dev (1.9.6-r3) (13/13) Installing .makedepends-coq (20240319.095859) Executing busybox-1.36.1-r21.trigger OK: 617 MiB in 120 packages >>> coq: Cleaning up srcdir >>> coq: Cleaning up pkgdir >>> coq: Cleaning up tmpdir >>> coq: Fetching https://distfiles.alpinelinux.org/distfiles/edge/coq-8.19.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 7496k 100 7496k 0 0 17.5M 0 --:--:-- --:--:-- --:--:-- 17.5M >>> coq: Fetching https://distfiles.alpinelinux.org/distfiles/edge/coq-8.19.1.tar.gz >>> coq: Checking sha512sums... coq-8.19.1.tar.gz: OK >>> coq: Unpacking /var/cache/distfiles/edge/coq-8.19.1.tar.gz... You have OCaml 4.14.2. Good! You have OCamlfind 1.9.6. Good! You have native-code compilation. Good! You have the Zarith library 1.12 installed. Good! Architecture : Linux Sys.os_type : Unix OCaml version : 4.14.2 OCaml binaries in : /usr/bin/ OCaml library in : /usr/lib/ocaml Web browser : firefox -remote "OpenURL(%s,new-tab)" || firefox %s & Coq web site : http://coq.inria.fr/ Bytecode VM enabled : true Native Compiler enabled : no Paths where installation is expected by Coq Makefile: - Coq is expected in /usr - the Coq library is expected in /usr/lib/ocaml/coq - the Coqide configuration files is expected in /usr/etc/xdg/coq - the Coqide data files is expected in /usr/share/coq - the Coq man pages is expected in /usr/share/man - documentation prefix path for all Coq packages is expected in /usr/share/doc If anything is wrong above, please restart './configure'. *Warning* To compile the system for a new architecture don't forget to do a 'make clean' before './configure'. dune build --root . theories_dune ltac2_dune touch .dune-stamp cp -a _build/default/theories_dune theories/dune && chmod +w theories/dune cp -a _build/default/ltac2_dune user-contrib/Ltac2/dune && chmod +w user-contrib/Ltac2/dune (cd _build/default && /bin/bash -e -u -o pipefail -c dev/tools/make_git_revision.sh) > _build/default/revision skipping make_git_revision: git dir not found >>> coq: Entering fakeroot... >>> coq-doc*: Running split function doc... >>> coq-doc*: Preparing subpackage coq-doc... >>> coq-doc*: Running postcheck for coq-doc >>> coq*: Running postcheck for coq >>> coq*: Preparing package coq... >>> coq*: Stripping binaries >>> coq-doc*: Scanning shared objects >>> coq*: Scanning shared objects >>> coq-doc*: Tracing dependencies... >>> coq-doc*: Package size: 184.0 KB >>> coq-doc*: Compressing data... >>> coq-doc*: Create checksum... >>> coq-doc*: Create coq-doc-8.19.1-r2.apk >>> coq*: Tracing dependencies... ocaml-findlib ocaml-runtime ocaml-zarith so:libc.musl-x86_64.so.1 so:libgmp.so.10 >>> coq*: Package size: 578.6 MB >>> coq*: Compressing data... >>> coq*: Create checksum... >>> coq*: Create coq-8.19.1-r2.apk >>> coq: Build complete at Tue, 19 Mar 2024 10:03:24 +0000 elapsed time 0h 4m 27s >>> coq: Cleaning up srcdir >>> coq: Cleaning up pkgdir >>> coq: Uninstalling dependencies... (1/13) Purging .makedepends-coq (20240319.095859) (2/13) Purging ocaml-zarith (1.12-r4) (3/13) Purging gmp-dev (6.3.0-r0) (4/13) Purging libgmpxx (6.3.0-r0) (5/13) Purging bash (5.2.26-r0) Executing bash-5.2.26-r0.pre-deinstall (6/13) Purging dune (3.14.2-r0) (7/13) Purging linux-headers (6.6-r0) (8/13) Purging ocaml-compiler-libs (4.14.2-r0) (9/13) Purging ocaml-findlib-dev (1.9.6-r3) (10/13) Purging ocaml-findlib (1.9.6-r3) (11/13) Purging ocaml (4.14.2-r0) (12/13) Purging ocaml-runtime (4.14.2-r0) (13/13) Purging readline (8.2.10-r0) Executing busybox-1.36.1-r21.trigger OK: 378 MiB in 107 packages >>> coq: Updating the testing/x86_64 repository index... >>> coq: Signing the index...