>>> coq: Building community/coq 8.20.0-r0 (using abuild 3.13.0-r5) started Thu, 05 Sep 2024 03:22:04 +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/19) Installing bash (5.2.32-r0) Executing bash-5.2.32-r0.post-install (2/19) Installing dune (3.16.0-r0) (3/19) Installing linux-headers (6.6-r0) (4/19) Installing ocaml-runtime (4.14.2-r1) (5/19) Installing ocaml (4.14.2-r1) (6/19) Installing libbz2 (1.0.8-r6) (7/19) Installing perl (5.40.0-r2) (8/19) Installing rpm-scripts (4.19.1.1-r1) (9/19) Installing ocaml-abuild-helper (4.14.2-r1) (10/19) Installing ocaml-compiler-libs (4.14.2-r1) (11/19) Installing ocaml-findlib (1.9.6-r4) (12/19) Installing ocaml-findlib-dev (1.9.6-r4) (13/19) Installing libgmpxx (6.3.0-r2) (14/19) Installing gmp-dev (6.3.0-r2) (15/19) Installing ocaml-zarith (1.12-r5) (16/19) Installing .makedepends-coq (20240905.032205) (17/19) Installing perl-error (0.17029-r2) (18/19) Installing perl-git (2.46.0-r0) (19/19) Installing git-perl (2.46.0-r0) Executing busybox-1.36.1-r31.trigger OK: 688 MiB in 126 packages >>> coq: Cleaning up srcdir >>> coq: Cleaning up pkgdir >>> coq: Cleaning up tmpdir >>> coq: Fetching https://distfiles.alpinelinux.org/distfiles/edge/coq-8.20.0.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 curl: (22) The requested URL returned error: 404 >>> coq: Fetching coq-8.20.0.tar.gz::https://github.com/coq/coq/archive/V8.20.0.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 2640k 0 2640k 0 0 3445k 0 --:--:-- --:--:-- --:--:-- 3445k 100 7655k 0 7655k 0 0 5205k 0 --:--:-- 0:00:01 --:--:-- 7124k >>> coq: Fetching https://distfiles.alpinelinux.org/distfiles/edge/coq-8.20.0.tar.gz >>> coq: Checking sha512sums... coq-8.20.0.tar.gz: OK >>> coq: Unpacking /var/cache/distfiles/edge/coq-8.20.0.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: 180.0 KB >>> coq-doc*: Compressing data... >>> coq-doc*: Create checksum... >>> coq-doc*: Create coq-doc-8.20.0-r0.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__Callback:0c3e7d2a76a917723578bab41e7444ff 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__Seq:a63a0257306b79374be85a9d8ec9cd0c 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:Asttypes:c6cbda0727ab24f24ff77e0199818937 ocaml4-intf:Big_int_Z:f98827dcd70d54140f3afa5af18218b1 ocaml4-intf:Build_path_prefix_map:c087ed78089388f4d3a99676f2c10fc4 ocaml4-intf:CamlinternalFormatBasics:8f8f634558798ee408df3c50a5539b15 ocaml4-intf:CamlinternalLazy:5365fec4a58da3e2d8fa2186f77d9be4 ocaml4-intf:CamlinternalMod:2004005091bc8a61fe26ab15e0fb28e4 ocaml4-intf:Clflags:84ae8d03facf492b1832cc8cf4500653 ocaml4-intf:Cmi_format:77a1c8f1e0d22ce55ab6c81760c7b8d6 ocaml4-intf:Compenv:81e3b1700d2bd6d3c20b45b6c05b481a ocaml4-intf:Condition:f0caf68e0fd94353b2fe68f24dc84c46 ocaml4-intf:Dynlink:b542e5672ad42f5b838f58913ba15456 ocaml4-intf:Env:132a8f155a5ec71de7e5d3a85efe6e03 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:Ident:a68d3b48cf66f01c3af823a07d101708 ocaml4-intf:Identifiable:026dfc8fdbcf370a975e554be578d5a5 ocaml4-intf:Load_path:8e616f4485805b33a8219ec934a7859a ocaml4-intf:Location:ad05a11c5350a8043d12b4819575b03b ocaml4-intf:Longident:dddbcb2c78e865fd75e9911c4b82a7e2 ocaml4-intf:Misc:fa2c1b0e885a335849c8603379ff2f89 ocaml4-intf:Mutex:e7b4c98d68b9b84b256d9650ac063dab ocaml4-intf:Outcometree:674374723cd44ac1194584799175f801 ocaml4-intf:Parsetree:d160a703cc0fe2b0a7acd97f6bf25245 ocaml4-intf:Path:c74c2553734e7c86ab23c6946a08a019 ocaml4-intf:Primitive:8cd5b518055f39c57cb5bfdd62b072c1 ocaml4-intf:Profile:d266e10a0e8a0497b64c50d0b0e138f1 ocaml4-intf:Q:95ed12df5d619f4cf43c3f5256a0f97b ocaml4-intf:Shape:a7485b44c054c48b77a4c0546f654051 ocaml4-intf:Stdlib:79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml4-intf:Stdlib__Arg:04b768df3893b886dc494cea56b4aa5f 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__Callback:fe29a598e1902f0b901e88a9865c26ef 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:Subst:428159e3773e2a53757d43066bcfca7f ocaml4-intf:Thread:cbab14f62eb893a73913c276298141c9 ocaml4-intf:Toploop:bd94fffe0b1d633d0635d312f2aef092 ocaml4-intf:Type_immediacy:64565e32358a6229bf90cc93d486536a ocaml4-intf:Types:6c92ac95b66d8794b63f94c688fe1688 ocaml4-intf:Unix:d81af7730241956ddaf1c2d19ed2cb1c ocaml4-intf:Warnings:1c10e6007aca64cda69b6b055565b124 ocaml4-intf:Z:a71ac4a535434978287848841376388e so:libc.musl-x86_64.so.1 so:libgmp.so.10 >>> coq*: Package size: 540.9 MB >>> coq*: Compressing data... >>> coq*: Create checksum... >>> coq*: Create coq-8.20.0-r0.apk >>> coq: Build complete at Thu, 05 Sep 2024 03:33:04 +0000 elapsed time 0h 11m 0s >>> coq: Cleaning up srcdir >>> coq: Cleaning up pkgdir >>> coq: Uninstalling dependencies... (1/19) Purging .makedepends-coq (20240905.032205) (2/19) Purging dune (3.16.0-r0) (3/19) Purging linux-headers (6.6-r0) (4/19) Purging ocaml-findlib-dev (1.9.6-r4) (5/19) Purging ocaml-findlib (1.9.6-r4) (6/19) Purging ocaml-zarith (1.12-r5) (7/19) Purging gmp-dev (6.3.0-r2) (8/19) Purging libgmpxx (6.3.0-r2) (9/19) Purging git-perl (2.46.0-r0) (10/19) Purging perl-git (2.46.0-r0) (11/19) Purging perl-error (0.17029-r2) (12/19) Purging ocaml-abuild-helper (4.14.2-r1) (13/19) Purging rpm-scripts (4.19.1.1-r1) (14/19) Purging bash (5.2.32-r0) Executing bash-5.2.32-r0.pre-deinstall (15/19) Purging perl (5.40.0-r2) (16/19) Purging ocaml-compiler-libs (4.14.2-r1) (17/19) Purging ocaml (4.14.2-r1) (18/19) Purging ocaml-runtime (4.14.2-r1) (19/19) Purging libbz2 (1.0.8-r6) Executing busybox-1.36.1-r31.trigger OK: 408 MiB in 107 packages >>> coq: Updating the community/x86_64 repository index... >>> coq: Signing the index...