>>> coq: Building testing/coq 8.18.0-r1 (using abuild 3.12.0-r1) started Thu, 04 Jan 2024 07:01:23 +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 ocaml ocaml-compiler-libs ocaml-findlib-dev
(1/12) Installing ocaml-runtime (4.14.1-r3)
(2/12) Installing ocaml-findlib (1.9.6-r2)
(3/12) Installing libgmpxx (6.3.0-r0)
(4/12) Installing gmp-dev (6.3.0-r0)
(5/12) Installing ocaml-zarith (1.12-r3)
(6/12) Installing readline (8.2.7-r0)
(7/12) Installing bash (5.2.21-r0)
Executing bash-5.2.21-r0.post-install
(8/12) Installing dune (3.12.1-r0)
(9/12) Installing ocaml (4.14.1-r3)
(10/12) Installing ocaml-compiler-libs (4.14.1-r3)
(11/12) Installing ocaml-findlib-dev (1.9.6-r2)
(12/12) Installing .makedepends-coq (20240104.070124)
Executing busybox-1.36.1-r18.trigger
OK: 506 MiB in 121 packages
>>> coq: Cleaning up srcdir
>>> coq: Cleaning up pkgdir
>>> coq: Cleaning up tmpdir
>>> coq: Fetching https://distfiles.alpinelinux.org/distfiles/edge/coq-8.18.0.tar.gz
>>> coq: Fetching https://distfiles.alpinelinux.org/distfiles/edge/coq-8.18.0.tar.gz
>>> coq: Checking sha512sums...
coq-8.18.0.tar.gz: OK
>>> coq: Unpacking /var/cache/distfiles/coq-8.18.0.tar.gz...
You have OCaml 4.14.1. 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.1
  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.18.0-r1.apk
>>> coq*: Tracing dependencies...
	ocaml-findlib
	ocaml-runtime
	ocaml-zarith
	so:libc.musl-ppc64le.so.1
	so:libgmp.so.10
>>> coq*: Package size: 597.9 MB
>>> coq*: Compressing data...
>>> coq*: Create checksum...
>>> coq*: Create coq-8.18.0-r1.apk
>>> coq: Build complete at Thu, 04 Jan 2024 07:05:36 +0000 elapsed time 0h 4m 13s
>>> coq: Cleaning up srcdir
>>> coq: Cleaning up pkgdir
>>> coq: Uninstalling dependencies...
(1/12) Purging .makedepends-coq (20240104.070124)
(2/12) Purging ocaml-zarith (1.12-r3)
(3/12) Purging gmp-dev (6.3.0-r0)
(4/12) Purging libgmpxx (6.3.0-r0)
(5/12) Purging bash (5.2.21-r0)
Executing bash-5.2.21-r0.pre-deinstall
(6/12) Purging dune (3.12.1-r0)
(7/12) Purging ocaml-compiler-libs (4.14.1-r3)
(8/12) Purging ocaml-findlib-dev (1.9.6-r2)
(9/12) Purging ocaml-findlib (1.9.6-r2)
(10/12) Purging ocaml (4.14.1-r3)
(11/12) Purging ocaml-runtime (4.14.1-r3)
(12/12) Purging readline (8.2.7-r0)
Executing busybox-1.36.1-r18.trigger
OK: 265 MiB in 109 packages
>>> coq: Updating the testing/ppc64le repository index...
>>> coq: Signing the index...