>>> coq: Building community/coq 8.19.1-r3 (using abuild 3.13.0-r3) started Tue, 30 Apr 2024 03:54:36 +0000 >>> coq: Checking sanity of /home/buildozer/aports/community/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.15.2-r0) (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-r1) (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 (20240430.035437) (18/20) Installing perl-error (0.17029-r2) (19/20) Installing perl-git (2.44.0-r2) (20/20) Installing git-perl (2.44.0-r2) Executing busybox-1.36.1-r26.trigger OK: 657 MiB in 127 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 18.3M 0 --:--:-- --:--:-- --:--:-- 18.3M >>> 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-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:8964d49309b45714efb14d03843079c4 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-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-r3.apk >>> coq: Build complete at Tue, 30 Apr 2024 04:11:57 +0000 elapsed time 0h 17m 21s >>> coq: Cleaning up srcdir >>> coq: Cleaning up pkgdir >>> coq: Uninstalling dependencies... (1/20) Purging .makedepends-coq (20240430.035437) (2/20) Purging dune (3.15.2-r0) (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-r2) (10/20) Purging perl-git (2.44.0-r2) (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-r1) (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-r26.trigger OK: 377 MiB in 107 packages >>> coq: Updating the community/x86_64 repository index... >>> coq: Signing the index...