>>> coq: Building testing/coq 8.17.1-r0 (using abuild 3.11.20-r0) started Mon, 10 Jul 2023 04:31:26 +0000
>>> coq: Checking sanity of /home/buildozer/aports/testing/coq/APKBUILD...
>>> coq: Analyzing dependencies...
>>> coq: Installing for build: build-base ocaml-runtime bash dune ocaml ocaml-compiler-libs ocaml-findlib-dev ocaml-num-dev ocaml-zarith
(1/14) Installing ocaml-runtime (4.14.1-r1)
(2/14) Installing readline (8.2.1-r2)
(3/14) Installing bash (5.2.15-r5)
Executing bash-5.2.15-r5.post-install
(4/14) Installing dune (3.9.1-r0)
(5/14) Installing ocaml (4.14.1-r1)
(6/14) Installing ocaml-compiler-libs (4.14.1-r1)
(7/14) Installing ocaml-findlib (1.9.6-r1)
(8/14) Installing ocaml-findlib-dev (1.9.6-r1)
(9/14) Installing ocaml-num (1.4-r2)
(10/14) Installing ocaml-num-dev (1.4-r2)
(11/14) Installing libgmpxx (6.2.1-r3)
(12/14) Installing gmp-dev (6.2.1-r3)
(13/14) Installing ocaml-zarith (1.12-r3)
(14/14) Installing .makedepends-coq (20230710.043128)
Executing busybox-1.36.1-r3.trigger
OK: 618 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.17.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
  0   146    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
curl: (22) The requested URL returned error: 404
>>> coq: Fetching coq-8.17.1.tar.gz::https://github.com/coq/coq/archive/V8.17.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 2960k    0 2960k    0     0  3186k      0 --:--:-- --:--:-- --:--:-- 3186k
100 7330k    0 7330k    0     0  4218k      0 --:--:--  0:00:01 --:--:-- 5408k
>>> coq: Fetching https://distfiles.alpinelinux.org/distfiles/edge/coq-8.17.1.tar.gz
>>> coq: Checking sha512sums...
coq-8.17.1.tar.gz: OK
>>> coq: Unpacking /var/cache/distfiles/edge/coq-8.17.1.tar.gz...
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
>>> 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: 140.0 KB
>>> coq-doc*: Compressing data...
>>> coq-doc*: Create checksum...
>>> coq-doc*: Create coq-doc-8.17.1-r0.apk
>>> coq*: Tracing dependencies...
	ocaml-runtime
	so:libc.musl-x86_64.so.1
	so:libgmp.so.10
>>> coq*: Package size: 594.3 MB
>>> coq*: Compressing data...
>>> coq*: Create checksum...
>>> coq*: Create coq-8.17.1-r0.apk
>>> coq: Build complete at Mon, 10 Jul 2023 04:35:08 +0000 elapsed time 0h 3m 42s
>>> coq: Cleaning up srcdir
>>> coq: Cleaning up pkgdir
>>> coq: Uninstalling dependencies...
(1/14) Purging .makedepends-coq (20230710.043128)
(2/14) Purging bash (5.2.15-r5)
Executing bash-5.2.15-r5.pre-deinstall
(3/14) Purging dune (3.9.1-r0)
(4/14) Purging ocaml-compiler-libs (4.14.1-r1)
(5/14) Purging ocaml-findlib-dev (1.9.6-r1)
(6/14) Purging ocaml-findlib (1.9.6-r1)
(7/14) Purging ocaml (4.14.1-r1)
(8/14) Purging ocaml-num-dev (1.4-r2)
(9/14) Purging ocaml-num (1.4-r2)
(10/14) Purging ocaml-runtime (4.14.1-r1)
(11/14) Purging ocaml-zarith (1.12-r3)
(12/14) Purging gmp-dev (6.2.1-r3)
(13/14) Purging libgmpxx (6.2.1-r3)
(14/14) Purging readline (8.2.1-r2)
Executing busybox-1.36.1-r3.trigger
OK: 376 MiB in 105 packages
>>> coq: Updating the testing/x86_64 repository index...
>>> coq: Signing the index...