>>> coq: Building testing/coq 8.19.1-r1 (using abuild 3.12.0-r4) started Fri, 08 Mar 2024 14:17:40 +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.1-r3)
(2/13) Installing ocaml-findlib (1.9.6-r2)
(3/13) Installing libgmpxx (6.3.0-r0)
(4/13) Installing gmp-dev (6.3.0-r0)
(5/13) Installing ocaml-zarith (1.12-r3)
(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.0-r0)
(9/13) Installing linux-headers (6.6-r0)
(10/13) Installing ocaml (4.14.1-r3)
(11/13) Installing ocaml-compiler-libs (4.14.1-r3)
(12/13) Installing ocaml-findlib-dev (1.9.6-r2)
(13/13) Installing .makedepends-coq (20240308.141742)
Executing busybox-1.36.1-r20.trigger
OK: 617 MiB in 119 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
100 7496k  100 7496k    0     0  16.8M      0 --:--:-- --:--:-- --:--:-- 16.9M
>>> 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.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.19.1-r1.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-r1.apk
>>> coq: Build complete at Fri, 08 Mar 2024 14:22:01 +0000 elapsed time 0h 4m 21s
>>> coq: Cleaning up srcdir
>>> coq: Cleaning up pkgdir
>>> coq: Uninstalling dependencies...
(1/13) Purging .makedepends-coq (20240308.141742)
(2/13) Purging ocaml-zarith (1.12-r3)
(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.0-r0)
(7/13) Purging linux-headers (6.6-r0)
(8/13) Purging ocaml-compiler-libs (4.14.1-r3)
(9/13) Purging ocaml-findlib-dev (1.9.6-r2)
(10/13) Purging ocaml-findlib (1.9.6-r2)
(11/13) Purging ocaml (4.14.1-r3)
(12/13) Purging ocaml-runtime (4.14.1-r3)
(13/13) Purging readline (8.2.10-r0)
Executing busybox-1.36.1-r20.trigger
OK: 378 MiB in 106 packages
>>> coq: Updating the testing/x86_64 repository index...
>>> coq: Signing the index...