>>> proverif: Building testing/proverif 2.05-r1 (using abuild 3.16.0-r0) started Sun, 11 Jan 2026 22:36:59 +0000 >>> proverif: Validating /home/buildozer/aports/testing/proverif/APKBUILD... >>> proverif: Analyzing dependencies... >>> proverif: Installing for build: build-base m4 ocamlbuild ocaml-findlib-dev ocaml-lablgtk3-dev ( 1/220) Installing m4 (1.4.20-r0) ( 2/220) Installing ocaml-runtime (4.14.2-r2) ( 3/220) Installing ocaml (4.14.2-r2) ( 4/220) Installing bash (5.3.3-r1) Executing bash-5.3.3-r1.post-install ( 5/220) Installing libbz2 (1.0.8-r6) ( 6/220) Installing perl (5.42.0-r0) ( 7/220) Installing rpm-scripts (4.19.1.1-r3) ( 8/220) Installing ocaml-abuild-helper (4.14.2-r2) ( 9/220) Installing ocaml-ocamlbuild (0.14.1-r4) ( 10/220) Installing ncurses (6.6_p20251231-r0) ( 11/220) Installing ocamlbuild (0.14.1-r4) ( 12/220) Installing ocamlfind (1.9.6-r6) ( 13/220) Installing ocaml-compiler-libs (4.14.2-r2) ( 14/220) Installing ocaml-findlib (1.9.6-r6) ( 15/220) Installing ocaml-findlib-dev (1.9.6-r6) ( 16/220) Installing libxau (1.0.12-r0) ( 17/220) Installing libmd (1.1.0-r0) ( 18/220) Installing libbsd (0.12.2-r0) ( 19/220) Installing libxdmcp (1.1.5-r1) ( 20/220) Installing libxcb (1.17.0-r1) ( 21/220) Installing libx11 (1.8.12-r1) ( 22/220) Installing libxext (1.3.6-r2) ( 23/220) Installing libxrender (0.9.12-r0) ( 24/220) Installing libpng (1.6.53-r0) ( 25/220) Installing freetype (2.14.1-r1) ( 26/220) Installing fontconfig (2.17.1-r0) ( 27/220) Installing pixman (0.46.4-r0) ( 28/220) Installing cairo (1.18.4-r0) ( 29/220) Installing ocaml-cairo2 (0.6.5-r0) ( 30/220) Installing libffi (3.5.2-r0) ( 31/220) Installing libeconf (0.8.0-r1) ( 32/220) Installing libblkid (2.41.3-r0) ( 33/220) Installing libmount (2.41.3-r0) ( 34/220) Installing glib (2.86.3-r1) ( 35/220) Installing gobject-introspection (1.86.0-r0) ( 36/220) Installing hicolor-icon-theme (0.18-r0) ( 37/220) Installing xz-libs (5.8.1-r0) ( 38/220) Installing libxml2 (2.13.9-r0) ( 39/220) Installing shared-mime-info (2.4-r7) ( 40/220) Installing libjpeg-turbo (3.1.3-r0) ( 41/220) Installing libsharpyuv (1.6.0-r0) ( 42/220) Installing libwebp (1.6.0-r0) ( 43/220) Installing tiff (4.7.1-r0) ( 44/220) Installing gdk-pixbuf (2.44.4-r0) ( 45/220) Installing gtk-update-icon-cache (3.24.51-r0) ( 46/220) Installing libxcomposite (0.4.6-r5) ( 47/220) Installing libxfixes (6.0.2-r0) ( 48/220) Installing libxcursor (1.2.3-r0) ( 49/220) Installing libxdamage (1.1.6-r5) ( 50/220) Installing libxi (1.8.2-r0) ( 51/220) Installing libxinerama (1.1.5-r4) ( 52/220) Installing libxrandr (1.5.4-r1) ( 53/220) Installing libatk-1.0 (2.58.3-r0) ( 54/220) Installing dbus-libs (1.16.2-r1) ( 55/220) Installing at-spi2-core-libs (2.58.3-r0) ( 56/220) Installing libxtst (1.2.5-r0) ( 57/220) Installing at-spi2-core (2.58.3-r0) ( 58/220) Installing libatk-bridge-2.0 (2.58.3-r0) ( 59/220) Installing cairo-gobject (1.18.4-r0) ( 60/220) Installing avahi-libs (0.8-r23) ( 61/220) Installing nettle (3.10.2-r0) ( 62/220) Installing libtasn1 (4.21.0-r0) ( 63/220) Installing p11-kit (0.25.5-r2) ( 64/220) Installing gnutls (3.8.11-r0) ( 65/220) Installing cups-libs (2.4.13-r0) ( 66/220) Installing libepoxy (1.5.10-r1) ( 67/220) Installing fribidi (1.0.16-r2) ( 68/220) Installing graphite2 (1.3.14-r6) ( 69/220) Installing harfbuzz (12.2.0-r0) ( 70/220) Installing libxft (2.3.9-r0) ( 71/220) Installing pango (1.56.4-r0) ( 72/220) Installing wayland-libs-client (1.24.0-r0) ( 73/220) Installing wayland-libs-cursor (1.24.0-r0) ( 74/220) Installing wayland-libs-egl (1.24.0-r0) ( 75/220) Installing xkeyboard-config (2.46-r0) ( 76/220) Installing libxkbcommon (1.12.2-r0) ( 77/220) Installing gtk+3.0 (3.24.51-r0) ( 78/220) Installing gtksourceview (3.24.11-r4) ( 79/220) Installing ocaml-lablgtk3 (3.1.2-r3) ( 80/220) Installing ocaml-cairo2-dev (0.6.5-r0) ( 81/220) Installing bzip2-dev (1.0.8-r6) ( 82/220) Installing libxml2-utils (2.13.9-r0) ( 83/220) Installing docbook-xml (4.5-r10) Executing docbook-xml-4.5-r10.post-install ( 84/220) Installing libxslt (1.1.43-r3) ( 85/220) Installing docbook-xsl-ns (1.79.2-r13) Executing docbook-xsl-ns-1.79.2-r13.post-install ( 86/220) Installing docbook-xsl-nons (1.79.2-r13) Executing docbook-xsl-nons-1.79.2-r13.post-install ( 87/220) Installing docbook-xsl (1.79.2-r13) ( 88/220) Installing xz (5.8.1-r0) ( 89/220) Installing gettext-asprintf (0.24.1-r1) ( 90/220) Installing gettext-libs (0.24.1-r1) ( 91/220) Installing gettext (0.24.1-r1) ( 92/220) Installing gettext-dev (0.24.1-r1) ( 93/220) Installing gdbm (1.26-r0) ( 94/220) Installing mpdecimal (4.0.1-r0) ( 95/220) Installing libpanelw (6.6_p20251231-r0) ( 96/220) Installing sqlite-libs (3.51.2-r0) ( 97/220) Installing python3 (3.12.12-r0) ( 98/220) Installing python3-pycache-pyc0 (3.12.12-r0) ( 99/220) Installing pyc (3.12.12-r0) (100/220) Installing python3-pyc (3.12.12-r0) (101/220) Installing py3-parsing (3.2.3-r0) (102/220) Installing py3-parsing-pyc (3.2.3-r0) (103/220) Installing py3-packaging (25.0-r0) (104/220) Installing py3-packaging-pyc (25.0-r0) (105/220) Installing linux-headers (6.18.4-r0) (106/220) Installing libffi-dev (3.5.2-r0) (107/220) Installing bsd-compat-headers (0.7.2-r6) (108/220) Installing libformw (6.6_p20251231-r0) (109/220) Installing libmenuw (6.6_p20251231-r0) (110/220) Installing libncurses++ (6.6_p20251231-r0) (111/220) Installing ncurses-dev (6.6_p20251231-r0) (112/220) Installing libedit-dev (20251016.3.1-r0) (113/220) Installing zlib-dev (1.3.1-r2) (114/220) Installing libpcre2-16 (10.47-r0) (115/220) Installing libpcre2-32 (10.47-r0) (116/220) Installing pcre2-dev (10.47-r0) (117/220) Installing libuuid (2.41.3-r0) (118/220) Installing libfdisk (2.41.3-r0) (119/220) Installing liblastlog2 (2.41.3-r0) (120/220) Installing libsmartcols (2.41.3-r0) (121/220) Installing sqlite (3.51.2-r0) (122/220) Installing sqlite-dev (3.51.2-r0) (123/220) Installing util-linux-dev (2.41.3-r0) (124/220) Installing glib-dev (2.86.3-r1) (125/220) Installing libturbojpeg (3.1.3-r0) (126/220) Installing libjpeg-turbo-dev (3.1.3-r0) (127/220) Installing libpng-dev (1.6.53-r0) (128/220) Installing libtiffxx (4.7.1-r0) (129/220) Installing libwebpdecoder (1.6.0-r0) (130/220) Installing libwebpdemux (1.6.0-r0) (131/220) Installing libwebpmux (1.6.0-r0) (132/220) Installing libwebp-dev (1.6.0-r0) (133/220) Installing zstd (1.5.7-r2) (134/220) Installing zstd-dev (1.5.7-r2) (135/220) Installing tiff-dev (4.7.1-r0) (136/220) Installing gdk-pixbuf-dev (2.44.4-r0) (137/220) Installing xorgproto (2025.1-r0) (138/220) Installing libxau-dev (1.0.12-r0) (139/220) Installing xcb-proto (1.17.0-r0) (140/220) Installing xcb-proto-pyc (1.17.0-r0) (141/220) Installing libxdmcp-dev (1.1.5-r1) (142/220) Installing libxcb-dev (1.17.0-r1) (143/220) Installing xtrans (1.6.0-r0) (144/220) Installing libx11-dev (1.8.12-r1) (145/220) Installing hwdata-pci (0.401-r0) (146/220) Installing libpciaccess (0.18.1-r1) (147/220) Installing libdrm (2.4.131-r0) (148/220) Installing libpciaccess-dev (0.18.1-r1) (149/220) Installing libdrm-dev (2.4.131-r0) (150/220) Installing libxfixes-dev (6.0.2-r0) (151/220) Installing libxdamage-dev (1.1.6-r5) (152/220) Installing libxshmfence (1.3.3-r0) (153/220) Installing libxshmfence-dev (1.3.3-r0) (154/220) Installing llvm21-libs (21.1.8-r0) (155/220) Installing spirv-tools (1.4.321.0-r1) (156/220) Installing libelf (0.194-r2) (157/220) Installing mesa (25.2.7-r3) (158/220) Installing mesa-gles (25.2.7-r3) (159/220) Installing mesa-gbm (25.2.7-r3) (160/220) Installing mesa-egl (25.2.7-r3) (161/220) Installing libxxf86vm (1.1.6-r0) (162/220) Installing mesa-gl (25.2.7-r3) (163/220) Installing clang21-headers (21.1.8-r0) (164/220) Installing libclc (21.1.8-r0) (165/220) Installing spirv-llvm-translator-libs (21.1.3-r0) (166/220) Installing clang21-libs (21.1.8-r0) (167/220) Installing mesa-rusticl (25.2.7-r3) (168/220) Installing libxext-dev (1.3.6-r2) (169/220) Installing libxxf86vm-dev (1.1.6-r0) (170/220) Installing mesa-dev (25.2.7-r3) (171/220) Installing libepoxy-dev (1.5.10-r1) (172/220) Installing libxi-dev (1.8.2-r0) (173/220) Installing libxinerama-dev (1.1.5-r4) (174/220) Installing libxkbcommon-x11 (1.12.2-r0) (175/220) Installing xz-dev (5.8.1-r0) (176/220) Installing libxml2-dev (2.13.9-r0) (177/220) Installing libxkbcommon-dev (1.12.2-r0) (178/220) Installing wayland-protocols (1.47-r0) (179/220) Installing dbus-dev (1.16.2-r1) (180/220) Installing libxtst-dev (1.2.5-r0) (181/220) Installing at-spi2-core-dev (2.58.3-r0) (182/220) Installing cairo-tools (1.18.4-r0) (183/220) Installing expat (2.7.3-r0) (184/220) Installing expat-dev (2.7.3-r0) (185/220) Installing brotli (1.2.0-r0) (186/220) Installing brotli-dev (1.2.0-r0) (187/220) Installing freetype-dev (2.14.1-r1) (188/220) Installing fontconfig-dev (2.17.1-r0) (189/220) Installing libxrender-dev (0.9.12-r0) (190/220) Installing pixman-dev (0.46.4-r0) (191/220) Installing util-macros (1.20.2-r0) (192/220) Installing xcb-util (0.4.1-r3) (193/220) Installing xcb-util-dev (0.4.1-r3) (194/220) Installing cairo-dev (1.18.4-r0) (195/220) Installing fribidi-dev (1.0.16-r2) (196/220) Installing pango-tools (1.56.4-r0) (197/220) Installing harfbuzz-cairo (12.2.0-r0) (198/220) Installing harfbuzz-gobject (12.2.0-r0) (199/220) Installing icu-data-en (76.1-r2) Executing icu-data-en-76.1-r2.post-install * If you need ICU with non-English locales and legacy charset support, install * package icu-data-full. (200/220) Installing icu-libs (76.1-r2) (201/220) Installing harfbuzz-icu (12.2.0-r0) (202/220) Installing harfbuzz-subset (12.2.0-r0) (203/220) Installing graphite2-dev (1.3.14-r6) (204/220) Installing icu (76.1-r2) (205/220) Installing icu-dev (76.1-r2) (206/220) Installing harfbuzz-dev (12.2.0-r0) (207/220) Installing libxft-dev (2.3.9-r0) (208/220) Installing pango-dev (1.56.4-r0) (209/220) Installing wayland-libs-server (1.24.0-r0) (210/220) Installing wayland-dev (1.24.0-r0) (211/220) Installing libxcomposite-dev (0.4.6-r5) (212/220) Installing libxcursor-dev (1.2.3-r0) (213/220) Installing libxrandr-dev (1.5.4-r1) (214/220) Installing gtk+3.0-dev (3.24.51-r0) (215/220) Installing gtksourceview-dev (3.24.11-r4) (216/220) Installing ocaml-lablgtk3-dev (3.1.2-r3) (217/220) Installing .makedepends-proverif (20260111.223700) (218/220) Installing perl-error (0.17030-r0) (219/220) Installing perl-git (2.52.0-r0) (220/220) Installing git-perl (2.52.0-r0) Executing busybox-1.37.0-r31.trigger Executing glib-2.86.3-r1.trigger Executing shared-mime-info-2.4-r7.trigger Executing gdk-pixbuf-2.44.4-r0.trigger Executing gtk-update-icon-cache-3.24.51-r0.trigger Executing gtk+3.0-3.24.51-r0.trigger OK: 1365.7 MiB in 329 packages >>> proverif: Cleaning up srcdir >>> proverif: Cleaning up pkgdir >>> proverif: Cleaning up tmpdir >>> proverif: Fetching https://distfiles.alpinelinux.org/distfiles/edge/proverif-2.05.tar.gz /var/cache/distfiles/edge/proverif-2.05.tar.gz: OK /home/buildozer/aports/testing/proverif/use-lablgtk3.patch: OK >>> proverif: Fetching https://distfiles.alpinelinux.org/distfiles/edge/proverif-2.05.tar.gz /var/cache/distfiles/edge/proverif-2.05.tar.gz: OK /home/buildozer/aports/testing/proverif/use-lablgtk3.patch: OK >>> proverif: Unpacking /var/cache/distfiles/edge/proverif-2.05.tar.gz... >>> proverif: use-lablgtk3.patch patching file build patching file src/menu_helper.ml patching file src/menu_interact.ml 36 states, 401 transitions, table size 1820 bytes 10 shift/reduce conflicts. 43 states, 762 transitions, table size 3306 bytes 151 shift/reduce conflicts. 112 states, 3109 transitions, table size 13108 bytes 46 states, 476 transitions, table size 2180 bytes 71 states, 1001 transitions, table size 4430 bytes ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch Directory examples/pitype/secr-auth PROTOCOL examples/pitype/secr-auth/DenningSacco-corr.pv OK PROTOCOL examples/pitype/secr-auth/DenningSacco-unid-corr.pv OK PROTOCOL examples/pitype/secr-auth/DenningSacco-unid-tagged.pv OK PROTOCOL examples/pitype/secr-auth/DenningSacco-unid-test.pv OK PROTOCOL examples/pitype/secr-auth/DenningSacco-unid.pv OK PROTOCOL examples/pitype/secr-auth/DenningSacco.pv OK PROTOCOL examples/pitype/secr-auth/DiffieHellman-active.pv OK PROTOCOL examples/pitype/secr-auth/DiffieHellman-passive.pv OK PROTOCOL examples/pitype/secr-auth/NeedhamSchroederPK-corr.pv OK PROTOCOL examples/pitype/secr-auth/NeedhamSchroederPK-tagged.pv OK PROTOCOL examples/pitype/secr-auth/NeedhamSchroederPK.pv OK PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK-comp.pv OK PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK-compapprox.pv OK PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK-corr-comp.pv OK PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK-corr-compapprox.pv OK PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK-corr.pv OK PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK.pv OK PROTOCOL examples/pitype/secr-auth/OtwayRees-Abadi.pv OK PROTOCOL examples/pitype/secr-auth/OtwayRees-Paulson-err-nonreflex.pv OK PROTOCOL examples/pitype/secr-auth/OtwayRees-Paulson-err-unid.pv OK PROTOCOL examples/pitype/secr-auth/OtwayRees-Paulson-err.pv OK PROTOCOL examples/pitype/secr-auth/OtwayRees-nonreflex.pv OK PROTOCOL examples/pitype/secr-auth/OtwayRees.pv OK PROTOCOL examples/pitype/secr-auth/SimplerYahalom-unid.pv OK PROTOCOL examples/pitype/secr-auth/SimplerYahalom.pv OK PROTOCOL examples/pitype/secr-auth/Skeme.pv OK PROTOCOL examples/pitype/secr-auth/WooLamPK-corr.pv OK PROTOCOL examples/pitype/secr-auth/WooLamPK.pv OK PROTOCOL examples/pitype/secr-auth/WooLamSK-GJ01.pv OK PROTOCOL examples/pitype/secr-auth/WooLamSK-corr-GJ01.pv OK PROTOCOL examples/pitype/secr-auth/WooLamSK-host-getkey.pv OK PROTOCOL examples/pitype/secr-auth/WooLamSK.pv OK PROTOCOL examples/pitype/secr-auth/Yahalom-Paulson.pv OK PROTOCOL examples/pitype/secr-auth/Yahalom-block-cipher.pv OK PROTOCOL examples/pitype/secr-auth/Yahalom-proba-enc.pv OK PROTOCOL examples/pitype/secr-auth/Yahalom.pv OK PROTOCOL examples/pitype/secr-auth/ssh-transport.pv OK Directory examples/pitype/noninterf PROTOCOL examples/pitype/noninterf/DenningSacco1.pv OK PROTOCOL examples/pitype/noninterf/DenningSacco2.pv OK PROTOCOL examples/pitype/noninterf/DenningSacco3.pv OK PROTOCOL examples/pitype/noninterf/DenningSacco4.pv OK PROTOCOL examples/pitype/noninterf/DenningSacco5.pv OK PROTOCOL examples/pitype/noninterf/DenningSacco6.pv OK PROTOCOL examples/pitype/noninterf/DenningSacco7.pv OK PROTOCOL examples/pitype/noninterf/DenningSacco8.pv OK PROTOCOL examples/pitype/noninterf/NeedhamSchroederPK-corr.pv OK PROTOCOL examples/pitype/noninterf/OtwayRees-key.pv OK PROTOCOL examples/pitype/noninterf/OtwayRees-proba.pv OK PROTOCOL examples/pitype/noninterf/OtwayRees.pv OK PROTOCOL examples/pitype/noninterf/Skeme-proba.pv OK PROTOCOL examples/pitype/noninterf/Skeme.pv OK PROTOCOL examples/pitype/noninterf/Yahalom-proba.pv OK PROTOCOL examples/pitype/noninterf/Yahalom.pv OK PROTOCOL examples/pitype/noninterf/basic1.pv OK PROTOCOL examples/pitype/noninterf/basic2.pv OK PROTOCOL examples/pitype/noninterf/dh-fs.pv OK PROTOCOL examples/pitype/noninterf/wmf-tagged.pv OK Directory examples/pitype/weaksecr PROTOCOL examples/pitype/weaksecr/AugmentedEKE1.pv OK PROTOCOL examples/pitype/weaksecr/AugmentedEKE2.pv OK PROTOCOL examples/pitype/weaksecr/EKE-DH.pv OK PROTOCOL examples/pitype/weaksecr/EKE.pv OK PROTOCOL examples/pitype/weaksecr/SignedAugmentedEKE1.pv OK PROTOCOL examples/pitype/weaksecr/attack.pv OK PROTOCOL examples/pitype/weaksecr/basicweaksecret-attack.pv OK PROTOCOL examples/pitype/weaksecr/basicweaksecret.pv OK PROTOCOL examples/pitype/weaksecr/handshake.pv OK PROTOCOL examples/pitype/weaksecr/vote.pv OK Directory examples/pitype/choice PROTOCOL examples/pitype/choice/EKE.pv OK PROTOCOL examples/pitype/choice/NeedhamSchroederPK-corr1-host-getkey.pv OK PROTOCOL examples/pitype/choice/NeedhamSchroederPK-corr1.pv OK PROTOCOL examples/pitype/choice/NeedhamSchroederPK-corr2-host-getkey.pv OK PROTOCOL examples/pitype/choice/NeedhamSchroederPK-corr2-proba.pv OK PROTOCOL examples/pitype/choice/NeedhamSchroederPK-corr2.pv OK PROTOCOL examples/pitype/choice/basic1.pv OK PROTOCOL examples/pitype/choice/basic2.pv OK PROTOCOL examples/pitype/choice/dh-fs.pv OK PROTOCOL examples/pitype/choice/epassportUK_biprocess.pv OK PROTOCOL examples/pitype/choice/epassportUK_processes.pv OK PROTOCOL examples/pitype/choice/handshake.pv OK PROTOCOL examples/pitype/choice/macs.pv OK PROTOCOL examples/pitype/choice/private_authentication_bounded_biprocess.pv OK PROTOCOL examples/pitype/choice/private_authentication_bounded_processes.pv OK PROTOCOL examples/pitype/choice/private_authentication_unbound.pv OK PROTOCOL examples/pitype/choice/proba-pk.pv OK PROTOCOL examples/pitype/choice/vote.pv OK PROTOCOL examples/pitype/choice/wmf-auth.pv OK PROTOCOL examples/pitype/choice/wmf-tagged-strongsecrecyKeyA.pv OK PROTOCOL examples/pitype/choice/wmf-tagged-strongsecrecyKeyB.pv OK Directory examples/pitype/lemma PROTOCOL examples/pitype/lemma/induction_nat.pv OK PROTOCOL examples/pitype/lemma/key-registration-locked.pv OK PROTOCOL examples/pitype/lemma/secure-device.pv OK PROTOCOL examples/pitype/lemma/toy-counter.pv OK PROTOCOL examples/pitype/lemma/toy-one-dec-table-equiv.pv OK PROTOCOL examples/pitype/lemma/toy-one-dec.pv OK PROTOCOL examples/pitype/lemma/toy-one-dec2.pv OK PROTOCOL examples/pitype/lemma/yubikey-less-axioms-time.pv OK PROTOCOL examples/pitype/lemma/yubikey-less-axioms.pv OK PROTOCOL examples/pitype/lemma/yubikey.pv OK Directory examples/cryptoverif PROTOCOL examples/cryptoverif/OtwayRees-RoR.pcv OK PROTOCOL examples/cryptoverif/OtwayRees.pcv OK PROTOCOL examples/cryptoverif/denning-sacco-corr.pcv OK PROTOCOL examples/cryptoverif/denning-sacco.pcv OK PROTOCOL examples/cryptoverif/needham-schroeder-pkAuth.pcv OK PROTOCOL examples/cryptoverif/needham-schroeder-pkcorrAuth.pcv OK PROTOCOL examples/cryptoverif/needham-schroeder-pkcorrKeyHash.pcv OK PROTOCOL examples/cryptoverif/needham-schroeder-pkcorrKeyHash2.pcv OK PROTOCOL examples/cryptoverif/needham-schroeder-pkcorrKeyNa.pcv OK PROTOCOL examples/cryptoverif/needham-schroeder-pkcorrKeyNb.pcv OK PROTOCOL examples/cryptoverif/needham-schroeder-sk.pcv OK PROTOCOL examples/cryptoverif/needham-schroeder-skAuth.pcv OK PROTOCOL examples/cryptoverif/needham-schroeder-skFull.pcv OK PROTOCOL examples/cryptoverif/needham-schroeder-skcorr.pcv OK PROTOCOL examples/cryptoverif/needham-schroeder-skcorrAuth.pcv OK PROTOCOL examples/cryptoverif/needham-schroeder-skcorrFull.pcv OK PROTOCOL examples/cryptoverif/signedDH.pcv OK PROTOCOL examples/cryptoverif/woolampk.pcv OK PROTOCOL examples/cryptoverif/woolampkWeaksign-corr.pcv OK PROTOCOL examples/cryptoverif/woolampkWeaksign.pcv OK PROTOCOL examples/cryptoverif/woolampkcorr.pcv OK PROTOCOL examples/cryptoverif/woolampkcorrSimp.pcv OK PROTOCOL examples/cryptoverif/woolamsk.pcv OK PROTOCOL examples/cryptoverif/woolamskcorr.pcv OK PROTOCOL examples/cryptoverif/yahalom.pcv OK Directory examples/pitype/jfk PROTOCOL examples/pitype/jfk/JFKr-coresec.pv OK PROTOCOL examples/pitype/jfk/prot-JFKi-EVCACHE.pv OK PROTOCOL examples/pitype/jfk/prot-JFKi-EVNOCACHE.pv OK PROTOCOL examples/pitype/jfk/prot-JFKi-IDISECR.pv OK PROTOCOL examples/pitype/jfk/prot-JFKi-SECRECY.pv OK PROTOCOL examples/pitype/jfk/prot-JFKr-EVCACHE.pv OK PROTOCOL examples/pitype/jfk/prot-JFKr-EVNOCACHE.pv OK PROTOCOL examples/pitype/jfk/prot-JFKr-IDRSECRACT.pv OK PROTOCOL examples/pitype/jfk/prot-JFKr-IDSECR.pv OK PROTOCOL examples/pitype/jfk/prot-JFKr-SECRECY.pv OK PROTOCOL examples/pitype/jfk/tokenlemma.pv OK Directory examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP1-CHTOTTP.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP1-PKCHANNEL.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP1-SSH.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP2-CHTOTTP.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP2-PKCHANNEL.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP2-SSH.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP3-CHTOTTP.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP3-PKCHANNEL.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP3-SSH.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP4-CHTOTTP.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP4-PKCHANNEL.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP4-SSH.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-SECRECY-CHTOTTP.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-SECRECY-PKCHANNEL.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-SECRECY-SSH.pv OK Directory examples/pitype/certified-mail-AbadiGlewHornePinkas/journalsas PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/journalsas/prot-PROP1.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/journalsas/prot-PROP2.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/journalsas/prot-PROP3.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/journalsas/prot-PROP4.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/journalsas/prot-SECRECY.pv OK Directory examples/pitype/ffgg PROTOCOL examples/pitype/ffgg/ffgg10-notrace.pv OK Expected runtime not found in script file Actual time: 0.009s PROTOCOL examples/pitype/ffgg/ffgg10.pv OK Expected runtime not found in script file Actual time: 0.010s PROTOCOL examples/pitype/ffgg/ffgg100-notrace.pv OK Expected runtime not found in script file Actual time: 0.961s PROTOCOL examples/pitype/ffgg/ffgg100.pv OK Expected runtime not found in script file Actual time: 2.614s PROTOCOL examples/pitype/ffgg/ffgg150-notrace.pv OK Expected runtime not found in script file Actual time: 3.766s PROTOCOL examples/pitype/ffgg/ffgg150.pv OK Expected runtime not found in script file Actual time: 11.112s PROTOCOL examples/pitype/ffgg/ffgg200-notrace.pv OK Expected runtime not found in script file Actual time: 10.418s PROTOCOL examples/pitype/ffgg/ffgg200.pv OK Expected runtime not found in script file Actual time: 31.228s PROTOCOL examples/pitype/ffgg/ffgg50-notrace.pv OK Expected runtime not found in script file Actual time: 0.106s PROTOCOL examples/pitype/ffgg/ffgg50.pv OK Expected runtime not found in script file Actual time: 0.289s >>> proverif: Entering fakeroot... >>> proverif-examples*: Running split function _examples... >>> proverif-examples*: Preparing subpackage proverif-examples... >>> proverif-examples*: Stripping binaries >>> WARNING: proverif-examples*: No arch specific binaries found so arch should probably be set to "noarch" >>> proverif-examples*: Running postcheck for proverif-examples >>> proverif-emacs*: Running split function _emacs... >>> proverif-emacs*: Preparing subpackage proverif-emacs... >>> proverif-emacs*: Stripping binaries >>> WARNING: proverif-emacs*: No arch specific binaries found so arch should probably be set to "noarch" >>> proverif-emacs*: Running postcheck for proverif-emacs >>> proverif-utils*: Running split function _utils... >>> proverif-utils*: Preparing subpackage proverif-utils... >>> proverif-utils*: Stripping binaries >>> proverif-utils*: Running postcheck for proverif-utils >>> proverif-interact*: Running split function _interact... >>> proverif-interact*: Preparing subpackage proverif-interact... >>> proverif-interact*: Stripping binaries >>> proverif-interact*: Running postcheck for proverif-interact >>> proverif*: Running postcheck for proverif >>> proverif*: Preparing package proverif... >>> proverif*: Stripping binaries >>> proverif*: Scanning shared objects >>> proverif-examples*: Scanning shared objects >>> proverif-emacs*: Scanning shared objects >>> proverif-utils*: Scanning shared objects >>> proverif-interact*: Scanning shared objects >>> proverif-emacs*: Tracing dependencies... proverif emacs >>> proverif-emacs*: Package size: 6.1 KB >>> proverif-emacs*: Compressing data... >>> proverif-emacs*: Create checksum... >>> proverif-emacs*: Create proverif-emacs-2.05-r1.apk >>> proverif-examples*: Tracing dependencies... >>> proverif-examples*: Package size: 1.5 MB >>> proverif-examples*: Compressing data... >>> proverif-examples*: Create checksum... >>> proverif-examples*: Create proverif-examples-2.05-r1.apk >>> proverif-interact*: Tracing dependencies... so:libc.musl-aarch64.so.1 so:libcairo.so.2 so:libgdk-3.so.0 so:libgdk_pixbuf-2.0.so.0 so:libglib-2.0.so.0 so:libgobject-2.0.so.0 so:libgtk-3.so.0 so:libpango-1.0.so.0 >>> proverif-interact*: Package size: 6.3 MB >>> proverif-interact*: Compressing data... >>> proverif-interact*: Create checksum... >>> proverif-interact*: Create proverif-interact-2.05-r1.apk >>> proverif-utils*: Tracing dependencies... so:libc.musl-aarch64.so.1 >>> proverif-utils*: Package size: 1.4 MB >>> proverif-utils*: Compressing data... >>> proverif-utils*: Create checksum... >>> proverif-utils*: Create proverif-utils-2.05-r1.apk >>> proverif*: Tracing dependencies... so:libc.musl-aarch64.so.1 >>> proverif*: Package size: 4.8 MB >>> proverif*: Compressing data... >>> proverif*: Create checksum... >>> proverif*: Create proverif-2.05-r1.apk >>> proverif: Build complete at Sun, 11 Jan 2026 22:39:03 +0000 elapsed time 0h 2m 4s >>> proverif: Cleaning up srcdir >>> proverif: Cleaning up pkgdir >>> proverif: Cleaning up tmpdir >>> proverif: Uninstalling dependencies... ( 1/220) Purging .makedepends-proverif (20260111.223700) ( 2/220) Purging m4 (1.4.20-r0) ( 3/220) Purging ocamlbuild (0.14.1-r4) ( 4/220) Purging ocaml-ocamlbuild (0.14.1-r4) ( 5/220) Purging ocaml-findlib-dev (1.9.6-r6) ( 6/220) Purging ocaml-findlib (1.9.6-r6) ( 7/220) Purging ocamlfind (1.9.6-r6) ( 8/220) Purging ocaml-lablgtk3-dev (3.1.2-r3) ( 9/220) Purging ocaml-lablgtk3 (3.1.2-r3) ( 10/220) Purging ocaml-cairo2-dev (0.6.5-r0) ( 11/220) Purging ocaml-cairo2 (0.6.5-r0) ( 12/220) Purging gtksourceview-dev (3.24.11-r4) ( 13/220) Purging gtksourceview (3.24.11-r4) ( 14/220) Purging at-spi2-core (2.58.3-r0) ( 15/220) Purging git-perl (2.52.0-r0) ( 16/220) Purging perl-git (2.52.0-r0) ( 17/220) Purging perl-error (0.17030-r0) ( 18/220) Purging gtk+3.0-dev (3.24.51-r0) ( 19/220) Purging wayland-protocols (1.47-r0) ( 20/220) Purging libepoxy-dev (1.5.10-r1) ( 21/220) Purging libxcomposite-dev (0.4.6-r5) ( 22/220) Purging libxcursor-dev (1.2.3-r0) ( 23/220) Purging libxinerama-dev (1.1.5-r4) ( 24/220) Purging libxrandr-dev (1.5.4-r1) ( 25/220) Purging mesa-dev (25.2.7-r3) ( 26/220) Purging libxdamage-dev (1.1.6-r5) ( 27/220) Purging libxshmfence-dev (1.3.3-r0) ( 28/220) Purging mesa-egl (25.2.7-r3) ( 29/220) Purging mesa-gbm (25.2.7-r3) ( 30/220) Purging mesa-gl (25.2.7-r3) ( 31/220) Purging mesa-gles (25.2.7-r3) ( 32/220) Purging mesa-rusticl (25.2.7-r3) ( 33/220) Purging mesa (25.2.7-r3) ( 34/220) Purging clang21-headers (21.1.8-r0) ( 35/220) Purging libclc (21.1.8-r0) ( 36/220) Purging ncurses (6.6_p20251231-r0) ( 37/220) Purging ocaml-abuild-helper (4.14.2-r2) ( 38/220) Purging rpm-scripts (4.19.1.1-r3) ( 39/220) Purging bash (5.3.3-r1) Executing bash-5.3.3-r1.pre-deinstall ( 40/220) Purging perl (5.42.0-r0) ( 41/220) Purging ocaml-compiler-libs (4.14.2-r2) ( 42/220) Purging ocaml (4.14.2-r2) ( 43/220) Purging ocaml-runtime (4.14.2-r2) ( 44/220) Purging pango-dev (1.56.4-r0) ( 45/220) Purging pango-tools (1.56.4-r0) ( 46/220) Purging py3-packaging-pyc (25.0-r0) ( 47/220) Purging py3-parsing-pyc (3.2.3-r0) ( 48/220) Purging python3-pyc (3.12.12-r0) ( 49/220) Purging python3-pycache-pyc0 (3.12.12-r0) ( 50/220) Purging xcb-proto-pyc (1.17.0-r0) ( 51/220) Purging pyc (3.12.12-r0) ( 52/220) Purging spirv-llvm-translator-libs (21.1.3-r0) ( 53/220) Purging spirv-tools (1.4.321.0-r1) ( 54/220) Purging wayland-dev (1.24.0-r0) ( 55/220) Purging wayland-libs-server (1.24.0-r0) ( 56/220) Purging at-spi2-core-dev (2.58.3-r0) ( 57/220) Purging gtk+3.0 (3.24.51-r0) Executing gtk+3.0-3.24.51-r0.post-deinstall ( 58/220) Purging gobject-introspection (1.86.0-r0) ( 59/220) Purging gtk-update-icon-cache (3.24.51-r0) ( 60/220) Purging hicolor-icon-theme (0.18-r0) ( 61/220) Purging libatk-bridge-2.0 (2.58.3-r0) ( 62/220) Purging at-spi2-core-libs (2.58.3-r0) ( 63/220) Purging cups-libs (2.4.13-r0) ( 64/220) Purging avahi-libs (0.8-r23) ( 65/220) Purging harfbuzz-dev (12.2.0-r0) ( 66/220) Purging harfbuzz-cairo (12.2.0-r0) ( 67/220) Purging harfbuzz-gobject (12.2.0-r0) ( 68/220) Purging harfbuzz-icu (12.2.0-r0) ( 69/220) Purging harfbuzz-subset (12.2.0-r0) ( 70/220) Purging graphite2-dev (1.3.14-r6) ( 71/220) Purging cairo-dev (1.18.4-r0) ( 72/220) Purging cairo-tools (1.18.4-r0) ( 73/220) Purging xcb-util-dev (0.4.1-r3) ( 74/220) Purging util-macros (1.20.2-r0) ( 75/220) Purging xcb-util (0.4.1-r3) ( 76/220) Purging cairo-gobject (1.18.4-r0) ( 77/220) Purging libxft-dev (2.3.9-r0) ( 78/220) Purging fontconfig-dev (2.17.1-r0) ( 79/220) Purging freetype-dev (2.14.1-r1) ( 80/220) Purging brotli-dev (1.2.0-r0) ( 81/220) Purging brotli (1.2.0-r0) ( 82/220) Purging gdk-pixbuf-dev (2.44.4-r0) ( 83/220) Purging gdk-pixbuf (2.44.4-r0) Executing gdk-pixbuf-2.44.4-r0.pre-deinstall ( 84/220) Purging glib-dev (2.86.3-r1) ( 85/220) Purging bzip2-dev (1.0.8-r6) ( 86/220) Purging docbook-xsl (1.79.2-r13) ( 87/220) Purging docbook-xsl-ns (1.79.2-r13) Executing docbook-xsl-ns-1.79.2-r13.pre-deinstall ( 88/220) Purging docbook-xsl-nons (1.79.2-r13) Executing docbook-xsl-nons-1.79.2-r13.pre-deinstall ( 89/220) Purging docbook-xml (4.5-r10) Executing docbook-xml-4.5-r10.pre-deinstall ( 90/220) Purging gettext-dev (0.24.1-r1) ( 91/220) Purging gettext-asprintf (0.24.1-r1) ( 92/220) Purging gettext (0.24.1-r1) ( 93/220) Purging libxslt (1.1.43-r3) ( 94/220) Purging py3-packaging (25.0-r0) ( 95/220) Purging py3-parsing (3.2.3-r0) ( 96/220) Purging pcre2-dev (10.47-r0) ( 97/220) Purging libpcre2-16 (10.47-r0) ( 98/220) Purging libpcre2-32 (10.47-r0) ( 99/220) Purging libedit-dev (20251016.3.1-r0) (100/220) Purging ncurses-dev (6.6_p20251231-r0) (101/220) Purging libncurses++ (6.6_p20251231-r0) (102/220) Purging bsd-compat-headers (0.7.2-r6) (103/220) Purging pango (1.56.4-r0) (104/220) Purging cairo (1.18.4-r0) (105/220) Purging clang21-libs (21.1.8-r0) (106/220) Purging dbus-dev (1.16.2-r1) (107/220) Purging dbus-libs (1.16.2-r1) (108/220) Purging expat-dev (2.7.3-r0) (109/220) Purging expat (2.7.3-r0) (110/220) Purging libxft (2.3.9-r0) (111/220) Purging fontconfig (2.17.1-r0) (112/220) Purging harfbuzz (12.2.0-r0) (113/220) Purging freetype (2.14.1-r1) (114/220) Purging fribidi-dev (1.0.16-r2) (115/220) Purging fribidi (1.0.16-r2) (116/220) Purging libxxf86vm-dev (1.1.6-r0) (117/220) Purging libxxf86vm (1.1.6-r0) (118/220) Purging libxrender-dev (0.9.12-r0) (119/220) Purging libxtst-dev (1.2.5-r0) (120/220) Purging libxtst (1.2.5-r0) (121/220) Purging libxi-dev (1.8.2-r0) (122/220) Purging libxi (1.8.2-r0) (123/220) Purging libxfixes-dev (6.0.2-r0) (124/220) Purging libxext-dev (1.3.6-r2) (125/220) Purging libx11-dev (1.8.12-r1) (126/220) Purging xtrans (1.6.0-r0) (127/220) Purging libxkbcommon-dev (1.12.2-r0) (128/220) Purging libxkbcommon-x11 (1.12.2-r0) (129/220) Purging libxkbcommon (1.12.2-r0) (130/220) Purging xkeyboard-config (2.46-r0) (131/220) Purging libxcb-dev (1.17.0-r1) (132/220) Purging xcb-proto (1.17.0-r0) (133/220) Purging python3 (3.12.12-r0) (134/220) Purging gdbm (1.26-r0) (135/220) Purging gettext-libs (0.24.1-r1) (136/220) Purging shared-mime-info (2.4-r7) Executing shared-mime-info-2.4-r7.post-deinstall (137/220) Purging libatk-1.0 (2.58.3-r0) (138/220) Purging glib (2.86.3-r1) (139/220) Purging gnutls (3.8.11-r0) (140/220) Purging graphite2 (1.3.14-r6) (141/220) Purging libdrm-dev (2.4.131-r0) (142/220) Purging libdrm (2.4.131-r0) (143/220) Purging libpciaccess-dev (0.18.1-r1) (144/220) Purging libpciaccess (0.18.1-r1) (145/220) Purging hwdata-pci (0.401-r0) (146/220) Purging icu-dev (76.1-r2) (147/220) Purging icu (76.1-r2) (148/220) Purging icu-libs (76.1-r2) (149/220) Purging icu-data-en (76.1-r2) (150/220) Purging util-linux-dev (2.41.3-r0) (151/220) Purging libfdisk (2.41.3-r0) (152/220) Purging liblastlog2 (2.41.3-r0) (153/220) Purging libmount (2.41.3-r0) (154/220) Purging libsmartcols (2.41.3-r0) (155/220) Purging libuuid (2.41.3-r0) (156/220) Purging libblkid (2.41.3-r0) (157/220) Purging libxdmcp-dev (1.1.5-r1) (158/220) Purging libxrandr (1.5.4-r1) (159/220) Purging libxinerama (1.1.5-r4) (160/220) Purging libxext (1.3.6-r2) (161/220) Purging libxcursor (1.2.3-r0) (162/220) Purging libxdamage (1.1.6-r5) (163/220) Purging libxrender (0.9.12-r0) (164/220) Purging libxcomposite (0.4.6-r5) (165/220) Purging libxfixes (6.0.2-r0) (166/220) Purging libx11 (1.8.12-r1) (167/220) Purging libxcb (1.17.0-r1) (168/220) Purging libxdmcp (1.1.5-r1) (169/220) Purging libbsd (0.12.2-r0) (170/220) Purging libbz2 (1.0.8-r6) (171/220) Purging libeconf (0.8.0-r1) (172/220) Purging libelf (0.194-r2) (173/220) Purging libepoxy (1.5.10-r1) (174/220) Purging libffi-dev (3.5.2-r0) (175/220) Purging linux-headers (6.18.4-r0) (176/220) Purging wayland-libs-cursor (1.24.0-r0) (177/220) Purging wayland-libs-client (1.24.0-r0) (178/220) Purging p11-kit (0.25.5-r2) (179/220) Purging llvm21-libs (21.1.8-r0) (180/220) Purging libffi (3.5.2-r0) (181/220) Purging libformw (6.6_p20251231-r0) (182/220) Purging tiff-dev (4.7.1-r0) (183/220) Purging libtiffxx (4.7.1-r0) (184/220) Purging tiff (4.7.1-r0) (185/220) Purging libjpeg-turbo-dev (3.1.3-r0) (186/220) Purging libturbojpeg (3.1.3-r0) (187/220) Purging libjpeg-turbo (3.1.3-r0) (188/220) Purging libmd (1.1.0-r0) (189/220) Purging libmenuw (6.6_p20251231-r0) (190/220) Purging libpanelw (6.6_p20251231-r0) (191/220) Purging libpng-dev (1.6.53-r0) (192/220) Purging libpng (1.6.53-r0) (193/220) Purging libwebp-dev (1.6.0-r0) (194/220) Purging libwebpdecoder (1.6.0-r0) (195/220) Purging libwebpdemux (1.6.0-r0) (196/220) Purging libwebpmux (1.6.0-r0) (197/220) Purging libwebp (1.6.0-r0) (198/220) Purging libsharpyuv (1.6.0-r0) (199/220) Purging libtasn1 (4.21.0-r0) (200/220) Purging libxau-dev (1.0.12-r0) (201/220) Purging libxau (1.0.12-r0) (202/220) Purging libxml2-dev (2.13.9-r0) (203/220) Purging libxml2-utils (2.13.9-r0) (204/220) Purging libxml2 (2.13.9-r0) (205/220) Purging libxshmfence (1.3.3-r0) (206/220) Purging mpdecimal (4.0.1-r0) (207/220) Purging nettle (3.10.2-r0) (208/220) Purging pixman-dev (0.46.4-r0) (209/220) Purging pixman (0.46.4-r0) (210/220) Purging sqlite-dev (3.51.2-r0) (211/220) Purging sqlite-libs (3.51.2-r0) (212/220) Purging sqlite (3.51.2-r0) (213/220) Purging wayland-libs-egl (1.24.0-r0) (214/220) Purging xorgproto (2025.1-r0) (215/220) Purging xz-dev (5.8.1-r0) (216/220) Purging xz (5.8.1-r0) (217/220) Purging xz-libs (5.8.1-r0) (218/220) Purging zlib-dev (1.3.1-r2) (219/220) Purging zstd-dev (1.5.7-r2) (220/220) Purging zstd (1.5.7-r2) Executing busybox-1.37.0-r31.trigger OK: 432.7 MiB in 109 packages >>> proverif: Updating the testing/aarch64 repository index... >>> proverif: Signing the index...