>>> rocq: Building community/rocq 9.0.0-r0 (using abuild 3.14.1-r7) started Thu, 13 Mar 2025 20:17:34 +0000
>>> rocq: Validating /home/buildozer/aports/community/rocq/APKBUILD...
>>> rocq: Analyzing dependencies...
>>> rocq: Installing for build: build-base bash dune linux-headers ocaml ocaml-compiler-libs ocaml-findlib-dev ocaml-zarith
(1/19) Installing bash (5.2.37-r0)
Executing bash-5.2.37-r0.post-install
(2/19) Installing dune (3.17.2-r0)
(3/19) Installing linux-headers (6.12.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.1-r0)
(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-r3)
(14/19) Installing gmp-dev (6.3.0-r3)
(15/19) Installing ocaml-zarith (1.12-r5)
(16/19) Installing .makedepends-rocq (20250313.201735)
(17/19) Installing perl-error (0.17030-r0)
(18/19) Installing perl-git (2.48.1-r0)
(19/19) Installing git-perl (2.48.1-r0)
Executing busybox-1.37.0-r14.trigger
OK: 708 MiB in 122 packages
>>> rocq: Cleaning up srcdir
>>> rocq: Cleaning up pkgdir
>>> rocq: Cleaning up tmpdir
>>> rocq: Fetching https://distfiles.alpinelinux.org/distfiles/edge/rocq-9.0.0.tar.gz
Connecting to distfiles.alpinelinux.org (172.105.82.32:443)
wget: server returned error: HTTP/1.1 404 Not Found
>>> rocq: Fetching https://github.com/coq/coq/releases/download/V9.0.0/rocq-9.0.0.tar.gz
Connecting to github.com (140.82.121.3:443)
Connecting to objects.githubusercontent.com (185.199.109.133:443)
saving to '/var/cache/distfiles/edge/rocq-9.0.0.tar.gz.part'
rocq-9.0.0.tar.gz.pa 100% |********************************| 6157k  0:00:00 ETA
'/var/cache/distfiles/edge/rocq-9.0.0.tar.gz.part' saved
>>> rocq: Fetching https://distfiles.alpinelinux.org/distfiles/edge/rocq-9.0.0.tar.gz
>>> rocq: Checking sha512sums...
rocq-9.0.0.tar.gz: OK
>>> rocq: Unpacking /var/cache/distfiles/edge/rocq-9.0.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                 : xdg-open "%s"
  Rocq web site               : http://coq.inria.fr/
  Bytecode VM enabled         : true
  Native Compiler enabled     : no

  Paths where installation is expected by Rocq Makefile:
  - Corelib is expected in /usr
  - the Rocq library is expected in /usr/lib/ocaml/coq
  - the Rocqide configuration files is expected in /usr/etc/xdg/coq
  - the Rocqide data files is expected in /usr/share/coq
  - the Rocq man pages is expected in /usr/share/man
  - documentation prefix path for all Rocq 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
>>> rocq: Entering fakeroot...
'_build/default/ide/rocqide/dllplatform_specific_stubs.so' -> '/home/buildozer/aports/community/rocq/pkg/rocq/usr/lib/ocaml/stublibs/dllplatform_specific_stubs.so'
>>> rocq-doc*: Running split function doc...
'usr/share/doc' -> '/home/buildozer/aports/community/rocq/pkg/rocq-doc/usr/share/doc'
'usr/share/man' -> '/home/buildozer/aports/community/rocq/pkg/rocq-doc/usr/share/man'
>>> rocq-doc*: Preparing subpackage rocq-doc...
>>> rocq-doc*: Running postcheck for rocq-doc
>>> coqide-server*: Running split function server...
'usr/bin/coqidetop' -> '/home/buildozer/aports/community/rocq/pkg/coqide-server/usr/bin/coqidetop'
'usr/lib/ocaml/coqide-server' -> '/home/buildozer/aports/community/rocq/pkg/coqide-server/usr/lib/ocaml/coqide-server'
'usr/lib/ocaml/stublibs/dllplatform_specific_stubs.so' -> '/home/buildozer/aports/community/rocq/pkg/coqide-server/usr/lib/ocaml/stublibs/dllplatform_specific_stubs.so'
>>> coqide-server*: Preparing subpackage coqide-server...
>>> coqide-server*: Stripping binaries
>>> coqide-server*: Running postcheck for coqide-server
>>> rocq*: Running postcheck for rocq
>>> rocq*: Preparing package rocq...
>>> rocq*: Stripping binaries
>>> coqide-server*: Scanning shared objects
>>> rocq-doc*: Scanning shared objects
>>> rocq*: Scanning shared objects
>>> coqide-server*: Tracing dependencies...
	rocq=9.0.0-r0
	ocaml4-impl:CList:fbbc0de40c5863dab16c98cbde2b4c1b
	ocaml4-impl:CString:9dab4a7ab68ef7a477226ea7c3b8d5e1
	ocaml4-impl:CamlinternalOO:2e53d855743d2c0d90ad7fb1f1bbb7d0
	ocaml4-impl:Exninfo:2b917250068232c890718727c7af3d3c
	ocaml4-impl:Option:f6729b66990179300130158dc537ae7a
	ocaml4-impl:Pp:8f1f02f42044efdafee4394418310f92
	ocaml4-impl:Stateid:4d5b3260bcdab8838631c97d1a45249b
	ocaml4-impl:Stdlib:29fc6b4fd90dc91235156e20d0575996
	ocaml4-impl:Stdlib__Buffer:cf57eae330bacf7e0efb32dbae46cf50
	ocaml4-impl:Stdlib__Format:3fc5aabf82bf4752619ecb26bfdcac24
	ocaml4-impl:Stdlib__Hashtbl:898b52cc6092451df01bc3a7ed405ede
	ocaml4-impl:Stdlib__Lexing:d054a4a6dfb4cb55a4733ce272d4623d
	ocaml4-impl:Stdlib__List:9fa021918ce9b6b5c0a1f584e3adf2af
	ocaml4-impl:Stdlib__Printf:bc4ad41fce5f3a224d4b57523576a7d7
	ocaml4-impl:Stdlib__Stack:fd9fbc67d946f33a7d077d345949db3d
	ocaml4-impl:Stdlib__String:63272e200b49ed0a15ed501695bde0a7
	ocaml4-impl:Util:8c061c5bb300a3738033e52319630ba6
	ocaml4-intf:CArray:52805ea537a45eb7b2fe1ac21da721ef
	ocaml4-intf:CList:74ed3440e44051dc92c15b4c7d656688
	ocaml4-intf:CMap:f8064b9fea3ad74c91f3398eda8ef331
	ocaml4-intf:CSet:b39c35750f5a0824845c8b66295078e6
	ocaml4-intf:CSig:e66402ac3f4b81a022b2de9eed52e53b
	ocaml4-intf:CString:b957af5576d4744b3a37364adbae300f
	ocaml4-intf:CamlinternalFormatBasics:8f8f634558798ee408df3c50a5539b15
	ocaml4-intf:CamlinternalOO:aea913efb75d4b8c0600eeba0222f7d8
	ocaml4-intf:Exninfo:05f15e3d92bfba910269ee465c7bfa2b
	ocaml4-intf:Feedback:0dfe67af7fc35e8d034101043d071b04
	ocaml4-intf:Hashcons:04171b8e413a80692dcbea1031ff4542
	ocaml4-intf:Hashset:b5af2da2ba0f0aa4ffcd46fea97b6074
	ocaml4-intf:Loc:e377ab5826d3454b40d098a27b4aae74
	ocaml4-intf:Option:326b25c18947c173d6727f2f3bc5fb03
	ocaml4-intf:Pp:0b74d6a96733ebb5cca9cbd0d8f8fb2e
	ocaml4-intf:Predicate:e10f527c1e68b4fcf4187c345bdd22e5
	ocaml4-intf:Quickfix:1c37480b7834a1825bc66fd72ce77b28
	ocaml4-intf:Stateid:5d0095240514333965cadee978284a8a
	ocaml4-intf:Stdlib:79b0e9d3b6f7fed07eb3cc2abb961b91
	ocaml4-intf:Stdlib__Array:622d88fad859d0d0f019e691fc4fa865
	ocaml4-intf:Stdlib__Buffer:4b09c9a6d0622bbf5a3829234b481822
	ocaml4-intf:Stdlib__Either:26845df28d19584687a38a1ab814c3f9
	ocaml4-intf:Stdlib__Format:b6edb97b685819e873481fe05723c8bc
	ocaml4-intf:Stdlib__Hashtbl:34c0fdd524bf2a75e4d5af64a6d34401
	ocaml4-intf:Stdlib__Int32:a71ea5238030770647165f659f80b1ab
	ocaml4-intf:Stdlib__Int64:0fa5587c47baf16a06837c7dedfc2518
	ocaml4-intf:Stdlib__Lexing:c9318c276ac7e383fd682c2dd06be434
	ocaml4-intf:Stdlib__List:ee222542f6f8195441543b8b399b64b9
	ocaml4-intf:Stdlib__Map:978f82916b5a172c11d2b72719d85680
	ocaml4-intf:Stdlib__Obj:25794d29f7f4018768ea900e331a2bf3
	ocaml4-intf:Stdlib__Printf:bc8af6214197dc8f40eaa738a4cd6a28
	ocaml4-intf:Stdlib__Seq:b63511032211eae4b567ba313cd72962
	ocaml4-intf:Stdlib__Set:871d2ee2167ac9e7977fa13994cf4658
	ocaml4-intf:Stdlib__Stack:30ae8c258e7fc6fb7e6370a60256d724
	ocaml4-intf:Stdlib__String:4933e1d855f54bfed0231b038f0dbb87
	ocaml4-intf:Stdlib__Uchar:c0dde02a556a6d79e363ad365d165d57
	ocaml4-intf:Util:0076f84c702a20924765095d1bc68ce4
	ocaml4-intf:Xml_datatype:e419aae791e14a9e40ee634429531000
	so:libc.musl-aarch64.so.1
	so:libgmp.so.10
>>> coqide-server*: Package size: 25.9 MB
>>> coqide-server*: Compressing data...
>>> coqide-server*: Create checksum...
>>> coqide-server*: Create coqide-server-9.0.0-r0.apk
>>> rocq-doc*: Tracing dependencies...
>>> rocq-doc*: Package size: 152.5 KB
>>> rocq-doc*: Compressing data...
>>> rocq-doc*: Create checksum...
>>> rocq-doc*: Create rocq-doc-9.0.0-r0.apk
>>> rocq*: 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__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__Float:f10a221be36e5079c72cc3cacea49e9e
	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__Lexing:d054a4a6dfb4cb55a4733ce272d4623d
	ocaml4-impl:Stdlib__List:9fa021918ce9b6b5c0a1f584e3adf2af
	ocaml4-impl:Stdlib__Map:2030d114d073f182db654b44388afee9
	ocaml4-impl:Stdlib__Marshal:16cd6d8082b6e1188fc7ef5ea6c782b0
	ocaml4-impl:Stdlib__Obj:5e74bd07b1ecafadee865eeb435fd993
	ocaml4-impl:Stdlib__Option:56ebca50aefc969c7c8e20142f269ff1
	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_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__Float:e5199b4531d56abc9fff4ae96c2acff4
	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__Option:121a6090f31f70c9d5bfa04e995b96ba
	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-aarch64.so.1
	so:libgmp.so.10
>>> rocq*: Package size: 496.0 MB
>>> rocq*: Compressing data...
>>> rocq*: Create checksum...
>>> rocq*: Create rocq-9.0.0-r0.apk
>>> rocq: Build complete at Thu, 13 Mar 2025 20:24:03 +0000 elapsed time 0h 6m 29s
>>> rocq: Cleaning up srcdir
>>> rocq: Cleaning up pkgdir
>>> rocq: Uninstalling dependencies...
(1/19) Purging .makedepends-rocq (20250313.201735)
(2/19) Purging dune (3.17.2-r0)
(3/19) Purging linux-headers (6.12.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-r3)
(8/19) Purging libgmpxx (6.3.0-r3)
(9/19) Purging git-perl (2.48.1-r0)
(10/19) Purging perl-git (2.48.1-r0)
(11/19) Purging perl-error (0.17030-r0)
(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.37-r0)
Executing bash-5.2.37-r0.pre-deinstall
(15/19) Purging perl (5.40.1-r0)
(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.37.0-r14.trigger
OK: 397 MiB in 103 packages
>>> rocq: Updating the community/aarch64 repository index...
>>> rocq: Signing the index...