>>> coq: Building testing/coq 8.19.1-r3 (using abuild 3.12.0-r5) started Sat, 23 Mar 2024 20:39:00 +0000
>>> coq: Checking sanity of /home/buildozer/aports/testing/coq/APKBUILD...
>>> coq: Analyzing dependencies...
>>> coq: Installing for build: build-base bash dune linux-headers ocaml ocaml-compiler-libs ocaml-findlib-dev ocaml-zarith
(1/20) Installing readline (8.2.10-r0)
(2/20) Installing bash (5.2.26-r0)
Executing bash-5.2.26-r0.post-install
(3/20) Installing dune (3.14.2-r1)
(4/20) Installing linux-headers (6.6-r0)
(5/20) Installing ocaml-runtime (4.14.2-r1)
(6/20) Installing ocaml (4.14.2-r1)
(7/20) Installing libbz2 (1.0.8-r6)
(8/20) Installing perl (5.38.2-r0)
(9/20) Installing rpm-scripts (4.19.1.1-r0)
(10/20) Installing ocaml-abuild-helper (4.14.2-r1)
(11/20) Installing ocaml-compiler-libs (4.14.2-r1)
(12/20) Installing ocaml-findlib (1.9.6-r4)
(13/20) Installing ocaml-findlib-dev (1.9.6-r4)
(14/20) Installing libgmpxx (6.3.0-r0)
(15/20) Installing gmp-dev (6.3.0-r0)
(16/20) Installing ocaml-zarith (1.12-r5)
(17/20) Installing .makedepends-coq (20240323.203901)
(18/20) Installing perl-error (0.17029-r2)
(19/20) Installing perl-git (2.44.0-r0)
(20/20) Installing git-perl (2.44.0-r0)
Executing busybox-1.36.1-r21.trigger
OK: 702 MiB in 125 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
>>> 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/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-r3.apk
>>> coq*: Tracing dependencies...
	ocaml4-impl:Big_int_Z:d6cd619126ba77ce9c740652b6256359
	ocaml4-impl:CamlinternalLazy:c1e563953199d5ae62cd56ffc2fbf053
	ocaml4-impl:CamlinternalMod:ba8ab3c1986d05bb8ec2096c23f3fff6
	ocaml4-impl:Condition:a63efe87f1c64636f7dd0ca176135334
	ocaml4-impl:Dynlink:568b72024eda435aec9642ecc0c78d41
	ocaml4-impl:Mutex:070d55bb683901b185545f26b3d87913
	ocaml4-impl:Q:3948d0060c7c0b24ddec00c9b2bcdfdd
	ocaml4-impl:Stdlib:29fc6b4fd90dc91235156e20d0575996
	ocaml4-impl:Stdlib__Array:22aba1ff15e1eea3e3e5dee89e419edd
	ocaml4-impl:Stdlib__Bool:0d0b8cd37527ebf0af86899c732b9e94
	ocaml4-impl:Stdlib__Buffer:cf57eae330bacf7e0efb32dbae46cf50
	ocaml4-impl:Stdlib__Bytes:b03e331833e5beb1e8d6f3d4f1143383
	ocaml4-impl:Stdlib__Char:7cfadcb8c8da32e9f00e211aa321718b
	ocaml4-impl:Stdlib__Digest:4b9f7231a4f0d6d59ea5ffc24dbe5a48
	ocaml4-impl:Stdlib__Ephemeron:d6c0dc7d67e39614d3952f5a259ca150
	ocaml4-impl:Stdlib__Filename:d8ca26729710871975671929664ef2b2
	ocaml4-impl:Stdlib__Format:3fc5aabf82bf4752619ecb26bfdcac24
	ocaml4-impl:Stdlib__Fun:69176e578371826c609ba1ffdcd982fa
	ocaml4-impl:Stdlib__Gc:30463cc7c3c9b9d4e445a603b0daf6ea
	ocaml4-impl:Stdlib__Hashtbl:898b52cc6092451df01bc3a7ed405ede
	ocaml4-impl:Stdlib__Int32:ed1108257eeb0f68fc6a433e6ea2e4f4
	ocaml4-impl:Stdlib__Int64:371b761429600b4a3480435d7bb83c8a
	ocaml4-impl:Stdlib__Lazy:535fca0d5af36a42e996cec462ebeb27
	ocaml4-impl:Stdlib__List:9fa021918ce9b6b5c0a1f584e3adf2af
	ocaml4-impl:Stdlib__Map:2030d114d073f182db654b44388afee9
	ocaml4-impl:Stdlib__Marshal:16cd6d8082b6e1188fc7ef5ea6c782b0
	ocaml4-impl:Stdlib__Obj:5e74bd07b1ecafadee865eeb435fd993
	ocaml4-impl:Stdlib__Printexc:ac4a56d43cb8fba5e3e656f25339f0db
	ocaml4-impl:Stdlib__Printf:bc4ad41fce5f3a224d4b57523576a7d7
	ocaml4-impl:Stdlib__Queue:f282f1cf1be5ed1909509007dbb5a40c
	ocaml4-impl:Stdlib__Random:611aadea398bca9fd02e3abe79a07f34
	ocaml4-impl:Stdlib__Result:eb56dfff163a33cff1a133ae9b82451a
	ocaml4-impl:Stdlib__Scanf:2a5a51fabeac3966d192cad5493d956c
	ocaml4-impl:Stdlib__Set:ffaaae5fee1481a2ba86fd461ec826a4
	ocaml4-impl:Stdlib__Stack:fd9fbc67d946f33a7d077d345949db3d
	ocaml4-impl:Stdlib__String:63272e200b49ed0a15ed501695bde0a7
	ocaml4-impl:Stdlib__Sys:246197933f799e7988d38f2b13d39cd2
	ocaml4-impl:Stdlib__Weak:8a9cd0fa5e68c63bc7128e1a6721b532
	ocaml4-impl:Str:c8276719fa69c2dd9213a45a77fa71a4
	ocaml4-impl:Thread:53b98e1de3221ca34c058400a282bd53
	ocaml4-impl:Unix:a2a70f64495a291cbc08f72aa5dc2552
	ocaml4-impl:Z:9992ed79994d12e36d997316da384c6f
	ocaml4-intf:Big_int_Z:f98827dcd70d54140f3afa5af18218b1
	ocaml4-intf:CamlinternalFormatBasics:8f8f634558798ee408df3c50a5539b15
	ocaml4-intf:CamlinternalLazy:5365fec4a58da3e2d8fa2186f77d9be4
	ocaml4-intf:CamlinternalMod:2004005091bc8a61fe26ab15e0fb28e4
	ocaml4-intf:Condition:f0caf68e0fd94353b2fe68f24dc84c46
	ocaml4-intf:Dynlink:b542e5672ad42f5b838f58913ba15456
	ocaml4-intf:Findlib:d44b73d9d87aa8a2a740a3e7f738599b
	ocaml4-intf:Fl_dynload:6fe04213bb7f649801e5f72ab6026eb0
	ocaml4-intf:Fl_metascanner:e1b1d3fe0eca562f5e9dc0e0f04eee51
	ocaml4-intf:Fl_metatoken:2ee80556b58c28796e5020152710a0dc
	ocaml4-intf:Fl_package_base:04c54a48fe2e7875409d82f50323d9b9
	ocaml4-intf:Mutex:e7b4c98d68b9b84b256d9650ac063dab
	ocaml4-intf:Q:95ed12df5d619f4cf43c3f5256a0f97b
	ocaml4-intf:Stdlib:79b0e9d3b6f7fed07eb3cc2abb961b91
	ocaml4-intf:Stdlib__Array:622d88fad859d0d0f019e691fc4fa865
	ocaml4-intf:Stdlib__Bigarray:994a14f10d5ae081663b52b790ee11d3
	ocaml4-intf:Stdlib__Bool:fe0df75f63138242ef3d9da3dc19ea0f
	ocaml4-intf:Stdlib__Buffer:4b09c9a6d0622bbf5a3829234b481822
	ocaml4-intf:Stdlib__Bytes:3d02c33317c0108c61e7a5eefa37519a
	ocaml4-intf:Stdlib__Char:62afe57b49defcc078960a68b9efbbee
	ocaml4-intf:Stdlib__Complex:4555217c759e89d65daa8f682eb09b35
	ocaml4-intf:Stdlib__Digest:61f6495d3274a42a78a63425ef892290
	ocaml4-intf:Stdlib__Either:26845df28d19584687a38a1ab814c3f9
	ocaml4-intf:Stdlib__Ephemeron:85bf10913cd5901968e9c2a8e59c2cd8
	ocaml4-intf:Stdlib__Filename:3bcff250dd30a0e620fa7546882aaadf
	ocaml4-intf:Stdlib__Format:b6edb97b685819e873481fe05723c8bc
	ocaml4-intf:Stdlib__Fun:115c0563d80d54e1e845b108f10caa33
	ocaml4-intf:Stdlib__Gc:c3ec15218bd26e175e6d959e216eb39a
	ocaml4-intf:Stdlib__Hashtbl:34c0fdd524bf2a75e4d5af64a6d34401
	ocaml4-intf:Stdlib__Int32:a71ea5238030770647165f659f80b1ab
	ocaml4-intf:Stdlib__Int64:0fa5587c47baf16a06837c7dedfc2518
	ocaml4-intf:Stdlib__Lazy:01430d340c028322c7247031a874e355
	ocaml4-intf:Stdlib__Lexing:c9318c276ac7e383fd682c2dd06be434
	ocaml4-intf:Stdlib__List:ee222542f6f8195441543b8b399b64b9
	ocaml4-intf:Stdlib__Map:978f82916b5a172c11d2b72719d85680
	ocaml4-intf:Stdlib__Marshal:182731e5f563b7657acd24ad778f3615
	ocaml4-intf:Stdlib__Nativeint:989149bf8f2ce1a89fecbc3f5f40f52c
	ocaml4-intf:Stdlib__Obj:25794d29f7f4018768ea900e331a2bf3
	ocaml4-intf:Stdlib__Printexc:ae914d0568e8b6e482a66bbd62a4432f
	ocaml4-intf:Stdlib__Printf:bc8af6214197dc8f40eaa738a4cd6a28
	ocaml4-intf:Stdlib__Queue:b066724fe533c7b8fc9b521e37aedad8
	ocaml4-intf:Stdlib__Random:81e43bab9bd47bab804eb6e582306de1
	ocaml4-intf:Stdlib__Result:f99939d3b32a26a59a2f4df0b6b2e60a
	ocaml4-intf:Stdlib__Scanf:5bfc827c9980349e00f2aa1f5eade58f
	ocaml4-intf:Stdlib__Seq:b63511032211eae4b567ba313cd72962
	ocaml4-intf:Stdlib__Set:871d2ee2167ac9e7977fa13994cf4658
	ocaml4-intf:Stdlib__Stack:30ae8c258e7fc6fb7e6370a60256d724
	ocaml4-intf:Stdlib__String:4933e1d855f54bfed0231b038f0dbb87
	ocaml4-intf:Stdlib__Sys:7726a14ce36f5c6c3abb04975cec748b
	ocaml4-intf:Stdlib__Uchar:c0dde02a556a6d79e363ad365d165d57
	ocaml4-intf:Stdlib__Weak:28f276c430fdc51a3a10691d3066b26a
	ocaml4-intf:Str:514c63e7d96516ff4c601fe47900a52d
	ocaml4-intf:Thread:cbab14f62eb893a73913c276298141c9
	ocaml4-intf:Unix:d81af7730241956ddaf1c2d19ed2cb1c
	ocaml4-intf:Z:a71ac4a535434978287848841376388e
	so:libc.musl-aarch64.so.1
	so:libgmp.so.10
>>> coq*: Package size: 640.9 MB
>>> coq*: Compressing data...
>>> coq*: Create checksum...
>>> coq*: Create coq-8.19.1-r3.apk
>>> coq: Build complete at Sat, 23 Mar 2024 20:45:51 +0000 elapsed time 0h 6m 51s
>>> coq: Cleaning up srcdir
>>> coq: Cleaning up pkgdir
>>> coq: Uninstalling dependencies...
(1/20) Purging .makedepends-coq (20240323.203901)
(2/20) Purging dune (3.14.2-r1)
(3/20) Purging linux-headers (6.6-r0)
(4/20) Purging ocaml-findlib-dev (1.9.6-r4)
(5/20) Purging ocaml-findlib (1.9.6-r4)
(6/20) Purging ocaml-zarith (1.12-r5)
(7/20) Purging gmp-dev (6.3.0-r0)
(8/20) Purging libgmpxx (6.3.0-r0)
(9/20) Purging git-perl (2.44.0-r0)
(10/20) Purging perl-git (2.44.0-r0)
(11/20) Purging perl-error (0.17029-r2)
(12/20) Purging ocaml-abuild-helper (4.14.2-r1)
(13/20) Purging rpm-scripts (4.19.1.1-r0)
(14/20) Purging bash (5.2.26-r0)
Executing bash-5.2.26-r0.pre-deinstall
(15/20) Purging perl (5.38.2-r0)
(16/20) Purging ocaml-compiler-libs (4.14.2-r1)
(17/20) Purging ocaml (4.14.2-r1)
(18/20) Purging ocaml-runtime (4.14.2-r1)
(19/20) Purging readline (8.2.10-r0)
(20/20) Purging libbz2 (1.0.8-r6)
Executing busybox-1.36.1-r21.trigger
OK: 381 MiB in 105 packages
>>> coq: Updating the testing/aarch64 repository index...
>>> coq: Signing the index...