>>> 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/222) Installing m4 (1.4.20-r0) ( 2/222) Installing ocaml-runtime (4.14.2-r2) ( 3/222) Installing ocaml (4.14.2-r2) ( 4/222) Installing bash (5.3.3-r1) Executing bash-5.3.3-r1.post-install ( 5/222) Installing libbz2 (1.0.8-r6) ( 6/222) Installing perl (5.42.0-r0) ( 7/222) Installing rpm-scripts (4.19.1.1-r3) ( 8/222) Installing ocaml-abuild-helper (4.14.2-r2) ( 9/222) Installing ocaml-ocamlbuild (0.14.1-r4) ( 10/222) Installing ncurses (6.6_p20251231-r0) ( 11/222) Installing ocamlbuild (0.14.1-r4) ( 12/222) Installing ocamlfind (1.9.6-r6) ( 13/222) Installing ocaml-compiler-libs (4.14.2-r2) ( 14/222) Installing ocaml-findlib (1.9.6-r6) ( 15/222) Installing ocaml-findlib-dev (1.9.6-r6) ( 16/222) Installing libxau (1.0.12-r0) ( 17/222) Installing libmd (1.1.0-r0) ( 18/222) Installing libbsd (0.12.2-r0) ( 19/222) Installing libxdmcp (1.1.5-r1) ( 20/222) Installing libxcb (1.17.0-r1) ( 21/222) Installing libx11 (1.8.12-r1) ( 22/222) Installing libxext (1.3.6-r2) ( 23/222) Installing libxrender (0.9.12-r0) ( 24/222) Installing libpng (1.6.53-r0) ( 25/222) Installing freetype (2.14.1-r1) ( 26/222) Installing fontconfig (2.17.1-r0) ( 27/222) Installing pixman (0.46.4-r0) ( 28/222) Installing cairo (1.18.4-r0) ( 29/222) Installing ocaml-cairo2 (0.6.5-r0) ( 30/222) Installing libffi (3.5.2-r0) ( 31/222) Installing libintl (0.24.1-r1) ( 32/222) Installing libeconf (0.8.0-r1) ( 33/222) Installing libblkid (2.41.3-r0) ( 34/222) Installing libmount (2.41.3-r0) ( 35/222) Installing glib (2.86.3-r1) ( 36/222) Installing gobject-introspection (1.86.0-r0) ( 37/222) Installing hicolor-icon-theme (0.18-r0) ( 38/222) Installing xz-libs (5.8.1-r0) ( 39/222) Installing libxml2 (2.13.9-r0) ( 40/222) Installing shared-mime-info (2.4-r7) ( 41/222) Installing libjpeg-turbo (3.1.3-r0) ( 42/222) Installing libsharpyuv (1.6.0-r0) ( 43/222) Installing libwebp (1.6.0-r0) ( 44/222) Installing tiff (4.7.1-r0) ( 45/222) Installing gdk-pixbuf (2.44.4-r0) ( 46/222) Installing gtk-update-icon-cache (3.24.51-r0) ( 47/222) Installing libxcomposite (0.4.6-r5) ( 48/222) Installing libxfixes (6.0.2-r0) ( 49/222) Installing libxcursor (1.2.3-r0) ( 50/222) Installing libxdamage (1.1.6-r5) ( 51/222) Installing libxi (1.8.2-r0) ( 52/222) Installing libxinerama (1.1.5-r4) ( 53/222) Installing libxrandr (1.5.4-r1) ( 54/222) Installing libatk-1.0 (2.58.3-r0) ( 55/222) Installing dbus-libs (1.16.2-r1) ( 56/222) Installing at-spi2-core-libs (2.58.3-r0) ( 57/222) Installing libxtst (1.2.5-r0) ( 58/222) Installing at-spi2-core (2.58.3-r0) ( 59/222) Installing libatk-bridge-2.0 (2.58.3-r0) ( 60/222) Installing cairo-gobject (1.18.4-r0) ( 61/222) Installing avahi-libs (0.8-r23) ( 62/222) Installing nettle (3.10.2-r0) ( 63/222) Installing libtasn1 (4.21.0-r0) ( 64/222) Installing p11-kit (0.25.5-r2) ( 65/222) Installing gnutls (3.8.11-r0) ( 66/222) Installing cups-libs (2.4.13-r0) ( 67/222) Installing libepoxy (1.5.10-r1) ( 68/222) Installing fribidi (1.0.16-r2) ( 69/222) Installing graphite2 (1.3.14-r6) ( 70/222) Installing harfbuzz (12.2.0-r0) ( 71/222) Installing libxft (2.3.9-r0) ( 72/222) Installing pango (1.56.4-r0) ( 73/222) Installing wayland-libs-client (1.24.0-r0) ( 74/222) Installing wayland-libs-cursor (1.24.0-r0) ( 75/222) Installing wayland-libs-egl (1.24.0-r0) ( 76/222) Installing xkeyboard-config (2.46-r0) ( 77/222) Installing libxkbcommon (1.12.2-r0) ( 78/222) Installing gtk+3.0 (3.24.51-r0) ( 79/222) Installing gtksourceview (3.24.11-r4) ( 80/222) Installing ocaml-lablgtk3 (3.1.2-r3) ( 81/222) Installing ocaml-cairo2-dev (0.6.5-r0) ( 82/222) Installing bzip2-dev (1.0.8-r6) ( 83/222) Installing libxml2-utils (2.13.9-r0) ( 84/222) Installing docbook-xml (4.5-r10) Executing docbook-xml-4.5-r10.post-install ( 85/222) Installing libxslt (1.1.43-r3) ( 86/222) Installing docbook-xsl-ns (1.79.2-r13) Executing docbook-xsl-ns-1.79.2-r13.post-install ( 87/222) Installing docbook-xsl-nons (1.79.2-r13) Executing docbook-xsl-nons-1.79.2-r13.post-install ( 88/222) Installing docbook-xsl (1.79.2-r13) ( 89/222) Installing xz (5.8.1-r0) ( 90/222) Installing gettext-asprintf (0.24.1-r1) ( 91/222) Installing gettext-libs (0.24.1-r1) ( 92/222) Installing gettext-envsubst (0.24.1-r1) ( 93/222) Installing gettext (0.24.1-r1) ( 94/222) Installing gettext-dev (0.24.1-r1) ( 95/222) Installing gdbm (1.26-r0) ( 96/222) Installing mpdecimal (4.0.1-r0) ( 97/222) Installing libpanelw (6.6_p20251231-r0) ( 98/222) Installing sqlite-libs (3.51.2-r0) ( 99/222) Installing python3 (3.12.12-r0) (100/222) Installing python3-pycache-pyc0 (3.12.12-r0) (101/222) Installing pyc (3.12.12-r0) (102/222) Installing python3-pyc (3.12.12-r0) (103/222) Installing py3-parsing (3.2.3-r0) (104/222) Installing py3-parsing-pyc (3.2.3-r0) (105/222) Installing py3-packaging (25.0-r0) (106/222) Installing py3-packaging-pyc (25.0-r0) (107/222) Installing linux-headers (6.18.4-r0) (108/222) Installing libffi-dev (3.5.2-r0) (109/222) Installing bsd-compat-headers (0.7.2-r6) (110/222) Installing libformw (6.6_p20251231-r0) (111/222) Installing libmenuw (6.6_p20251231-r0) (112/222) Installing libncurses++ (6.6_p20251231-r0) (113/222) Installing ncurses-dev (6.6_p20251231-r0) (114/222) Installing libedit-dev (20251016.3.1-r0) (115/222) Installing zlib-dev (1.3.1-r2) (116/222) Installing libpcre2-16 (10.47-r0) (117/222) Installing libpcre2-32 (10.47-r0) (118/222) Installing pcre2-dev (10.47-r0) (119/222) Installing libuuid (2.41.3-r0) (120/222) Installing libfdisk (2.41.3-r0) (121/222) Installing liblastlog2 (2.41.3-r0) (122/222) Installing libsmartcols (2.41.3-r0) (123/222) Installing sqlite (3.51.2-r0) (124/222) Installing sqlite-dev (3.51.2-r0) (125/222) Installing util-linux-dev (2.41.3-r0) (126/222) Installing glib-dev (2.86.3-r1) (127/222) Installing libturbojpeg (3.1.3-r0) (128/222) Installing libjpeg-turbo-dev (3.1.3-r0) (129/222) Installing libpng-dev (1.6.53-r0) (130/222) Installing libtiffxx (4.7.1-r0) (131/222) Installing libwebpdecoder (1.6.0-r0) (132/222) Installing libwebpdemux (1.6.0-r0) (133/222) Installing libwebpmux (1.6.0-r0) (134/222) Installing libwebp-dev (1.6.0-r0) (135/222) Installing zstd (1.5.7-r2) (136/222) Installing zstd-dev (1.5.7-r2) (137/222) Installing tiff-dev (4.7.1-r0) (138/222) Installing gdk-pixbuf-dev (2.44.4-r0) (139/222) Installing xorgproto (2025.1-r0) (140/222) Installing libxau-dev (1.0.12-r0) (141/222) Installing xcb-proto (1.17.0-r0) (142/222) Installing xcb-proto-pyc (1.17.0-r0) (143/222) Installing libxdmcp-dev (1.1.5-r1) (144/222) Installing libxcb-dev (1.17.0-r1) (145/222) Installing xtrans (1.6.0-r0) (146/222) Installing libx11-dev (1.8.12-r1) (147/222) Installing hwdata-pci (0.401-r0) (148/222) Installing libpciaccess (0.18.1-r1) (149/222) Installing libdrm (2.4.131-r0) (150/222) Installing libpciaccess-dev (0.18.1-r1) (151/222) Installing libdrm-dev (2.4.131-r0) (152/222) Installing libxfixes-dev (6.0.2-r0) (153/222) Installing libxdamage-dev (1.1.6-r5) (154/222) Installing libxshmfence (1.3.3-r0) (155/222) Installing libxshmfence-dev (1.3.3-r0) (156/222) Installing llvm21-libs (21.1.8-r0) (157/222) Installing spirv-tools (1.4.321.0-r1) (158/222) Installing libelf (0.194-r2) (159/222) Installing mesa (25.2.7-r3) (160/222) Installing mesa-gles (25.2.7-r3) (161/222) Installing mesa-gbm (25.2.7-r3) (162/222) Installing mesa-egl (25.2.7-r3) (163/222) Installing libxxf86vm (1.1.6-r0) (164/222) Installing mesa-gl (25.2.7-r3) (165/222) Installing clang21-headers (21.1.8-r0) (166/222) Installing libclc (21.1.8-r0) (167/222) Installing spirv-llvm-translator-libs (21.1.3-r0) (168/222) Installing clang21-libs (21.1.8-r0) (169/222) Installing mesa-rusticl (25.2.7-r3) (170/222) Installing libxext-dev (1.3.6-r2) (171/222) Installing libxxf86vm-dev (1.1.6-r0) (172/222) Installing mesa-dev (25.2.7-r3) (173/222) Installing libepoxy-dev (1.5.10-r1) (174/222) Installing libxi-dev (1.8.2-r0) (175/222) Installing libxinerama-dev (1.1.5-r4) (176/222) Installing libxkbcommon-x11 (1.12.2-r0) (177/222) Installing xz-dev (5.8.1-r0) (178/222) Installing libxml2-dev (2.13.9-r0) (179/222) Installing libxkbcommon-dev (1.12.2-r0) (180/222) Installing wayland-protocols (1.47-r0) (181/222) Installing dbus-dev (1.16.2-r1) (182/222) Installing libxtst-dev (1.2.5-r0) (183/222) Installing at-spi2-core-dev (2.58.3-r0) (184/222) Installing cairo-tools (1.18.4-r0) (185/222) Installing expat (2.7.3-r0) (186/222) Installing expat-dev (2.7.3-r0) (187/222) Installing brotli (1.2.0-r0) (188/222) Installing brotli-dev (1.2.0-r0) (189/222) Installing freetype-dev (2.14.1-r1) (190/222) Installing fontconfig-dev (2.17.1-r0) (191/222) Installing libxrender-dev (0.9.12-r0) (192/222) Installing pixman-dev (0.46.4-r0) (193/222) Installing util-macros (1.20.2-r0) (194/222) Installing xcb-util (0.4.1-r3) (195/222) Installing xcb-util-dev (0.4.1-r3) (196/222) Installing cairo-dev (1.18.4-r0) (197/222) Installing fribidi-dev (1.0.16-r2) (198/222) Installing pango-tools (1.56.4-r0) (199/222) Installing harfbuzz-cairo (12.2.0-r0) (200/222) Installing harfbuzz-gobject (12.2.0-r0) (201/222) 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. (202/222) Installing icu-libs (76.1-r2) (203/222) Installing harfbuzz-icu (12.2.0-r0) (204/222) Installing harfbuzz-subset (12.2.0-r0) (205/222) Installing graphite2-dev (1.3.14-r6) (206/222) Installing icu (76.1-r2) (207/222) Installing icu-dev (76.1-r2) (208/222) Installing harfbuzz-dev (12.2.0-r0) (209/222) Installing libxft-dev (2.3.9-r0) (210/222) Installing pango-dev (1.56.4-r0) (211/222) Installing wayland-libs-server (1.24.0-r0) (212/222) Installing wayland-dev (1.24.0-r0) (213/222) Installing libxcomposite-dev (0.4.6-r5) (214/222) Installing libxcursor-dev (1.2.3-r0) (215/222) Installing libxrandr-dev (1.5.4-r1) (216/222) Installing gtk+3.0-dev (3.24.51-r0) (217/222) Installing gtksourceview-dev (3.24.11-r4) (218/222) Installing ocaml-lablgtk3-dev (3.1.2-r3) (219/222) Installing .makedepends-proverif (20260111.223700) (220/222) Installing perl-error (0.17030-r0) (221/222) Installing perl-git (2.52.0-r0) (222/222) 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: 1065.0 MiB in 327 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 Less memory: old=39460K new=18012K 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 Less memory: old=87812K new=43060K PROTOCOL examples/pitype/jfk/prot-JFKi-IDISECR.pv OK Less memory: old=32868K new=15452K 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 Less memory: old=80588K new=40604K PROTOCOL examples/pitype/jfk/prot-JFKr-IDRSECRACT.pv OK Less memory: old=35836K new=16732K PROTOCOL examples/pitype/jfk/prot-JFKr-IDSECR.pv OK Less memory: old=48404K new=23380K 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 Less memory: old=74896K new=36756K 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 Less memory: old=35864K new=17372K 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 Less memory: old=168540K new=92732K 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.007s PROTOCOL examples/pitype/ffgg/ffgg10.pv OK Expected runtime not found in script file Actual time: 0.009s PROTOCOL examples/pitype/ffgg/ffgg100-notrace.pv OK Expected runtime not found in script file Actual time: 0.686s PROTOCOL examples/pitype/ffgg/ffgg100.pv OK Expected runtime not found in script file Actual time: 2.191s PROTOCOL examples/pitype/ffgg/ffgg150-notrace.pv OK Expected runtime not found in script file Actual time: 2.623s PROTOCOL examples/pitype/ffgg/ffgg150.pv OK Expected runtime not found in script file Actual time: 8.761s PROTOCOL examples/pitype/ffgg/ffgg200-notrace.pv OK Expected runtime not found in script file Actual time: 7.333s PROTOCOL examples/pitype/ffgg/ffgg200.pv OK Expected runtime not found in script file Actual time: 25.255s PROTOCOL examples/pitype/ffgg/ffgg50-notrace.pv OK Expected runtime not found in script file Actual time: 0.097s PROTOCOL examples/pitype/ffgg/ffgg50.pv OK Expected runtime not found in script file Actual time: 0.274s >>> 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-armv7.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: 4.2 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-armv7.so.1 >>> proverif-utils*: Package size: 985.4 KB >>> proverif-utils*: Compressing data... >>> proverif-utils*: Create checksum... >>> proverif-utils*: Create proverif-utils-2.05-r1.apk >>> proverif*: Tracing dependencies... so:libc.musl-armv7.so.1 >>> proverif*: Package size: 3.3 MB >>> proverif*: Compressing data... >>> proverif*: Create checksum... >>> proverif*: Create proverif-2.05-r1.apk >>> proverif: Build complete at Sun, 11 Jan 2026 22:38:48 +0000 elapsed time 0h 1m 49s >>> proverif: Cleaning up srcdir >>> proverif: Cleaning up pkgdir >>> proverif: Cleaning up tmpdir >>> proverif: Uninstalling dependencies... ( 1/222) Purging .makedepends-proverif (20260111.223700) ( 2/222) Purging m4 (1.4.20-r0) ( 3/222) Purging ocamlbuild (0.14.1-r4) ( 4/222) Purging ocaml-ocamlbuild (0.14.1-r4) ( 5/222) Purging ocaml-findlib-dev (1.9.6-r6) ( 6/222) Purging ocaml-findlib (1.9.6-r6) ( 7/222) Purging ocamlfind (1.9.6-r6) ( 8/222) Purging ocaml-lablgtk3-dev (3.1.2-r3) ( 9/222) Purging ocaml-lablgtk3 (3.1.2-r3) ( 10/222) Purging ocaml-cairo2-dev (0.6.5-r0) ( 11/222) Purging ocaml-cairo2 (0.6.5-r0) ( 12/222) Purging gtksourceview-dev (3.24.11-r4) ( 13/222) Purging gtksourceview (3.24.11-r4) ( 14/222) Purging at-spi2-core (2.58.3-r0) ( 15/222) Purging git-perl (2.52.0-r0) ( 16/222) Purging perl-git (2.52.0-r0) ( 17/222) Purging perl-error (0.17030-r0) ( 18/222) Purging gtk+3.0-dev (3.24.51-r0) ( 19/222) Purging wayland-protocols (1.47-r0) ( 20/222) Purging libepoxy-dev (1.5.10-r1) ( 21/222) Purging libxcomposite-dev (0.4.6-r5) ( 22/222) Purging libxcursor-dev (1.2.3-r0) ( 23/222) Purging libxinerama-dev (1.1.5-r4) ( 24/222) Purging libxrandr-dev (1.5.4-r1) ( 25/222) Purging mesa-dev (25.2.7-r3) ( 26/222) Purging libxdamage-dev (1.1.6-r5) ( 27/222) Purging libxshmfence-dev (1.3.3-r0) ( 28/222) Purging mesa-egl (25.2.7-r3) ( 29/222) Purging mesa-gbm (25.2.7-r3) ( 30/222) Purging mesa-gl (25.2.7-r3) ( 31/222) Purging mesa-gles (25.2.7-r3) ( 32/222) Purging mesa-rusticl (25.2.7-r3) ( 33/222) Purging mesa (25.2.7-r3) ( 34/222) Purging clang21-headers (21.1.8-r0) ( 35/222) Purging libclc (21.1.8-r0) ( 36/222) Purging ncurses (6.6_p20251231-r0) ( 37/222) Purging ocaml-abuild-helper (4.14.2-r2) ( 38/222) Purging rpm-scripts (4.19.1.1-r3) ( 39/222) Purging bash (5.3.3-r1) Executing bash-5.3.3-r1.pre-deinstall ( 40/222) Purging perl (5.42.0-r0) ( 41/222) Purging ocaml-compiler-libs (4.14.2-r2) ( 42/222) Purging ocaml (4.14.2-r2) ( 43/222) Purging ocaml-runtime (4.14.2-r2) ( 44/222) Purging pango-dev (1.56.4-r0) ( 45/222) Purging pango-tools (1.56.4-r0) ( 46/222) Purging py3-packaging-pyc (25.0-r0) ( 47/222) Purging py3-parsing-pyc (3.2.3-r0) ( 48/222) Purging python3-pyc (3.12.12-r0) ( 49/222) Purging python3-pycache-pyc0 (3.12.12-r0) ( 50/222) Purging xcb-proto-pyc (1.17.0-r0) ( 51/222) Purging pyc (3.12.12-r0) ( 52/222) Purging spirv-llvm-translator-libs (21.1.3-r0) ( 53/222) Purging spirv-tools (1.4.321.0-r1) ( 54/222) Purging wayland-dev (1.24.0-r0) ( 55/222) Purging wayland-libs-server (1.24.0-r0) ( 56/222) Purging at-spi2-core-dev (2.58.3-r0) ( 57/222) Purging gtk+3.0 (3.24.51-r0) Executing gtk+3.0-3.24.51-r0.post-deinstall ( 58/222) Purging gobject-introspection (1.86.0-r0) ( 59/222) Purging gtk-update-icon-cache (3.24.51-r0) ( 60/222) Purging hicolor-icon-theme (0.18-r0) ( 61/222) Purging libatk-bridge-2.0 (2.58.3-r0) ( 62/222) Purging at-spi2-core-libs (2.58.3-r0) ( 63/222) Purging cups-libs (2.4.13-r0) ( 64/222) Purging avahi-libs (0.8-r23) ( 65/222) Purging harfbuzz-dev (12.2.0-r0) ( 66/222) Purging harfbuzz-cairo (12.2.0-r0) ( 67/222) Purging harfbuzz-gobject (12.2.0-r0) ( 68/222) Purging harfbuzz-icu (12.2.0-r0) ( 69/222) Purging harfbuzz-subset (12.2.0-r0) ( 70/222) Purging graphite2-dev (1.3.14-r6) ( 71/222) Purging cairo-dev (1.18.4-r0) ( 72/222) Purging cairo-tools (1.18.4-r0) ( 73/222) Purging xcb-util-dev (0.4.1-r3) ( 74/222) Purging util-macros (1.20.2-r0) ( 75/222) Purging xcb-util (0.4.1-r3) ( 76/222) Purging cairo-gobject (1.18.4-r0) ( 77/222) Purging libxft-dev (2.3.9-r0) ( 78/222) Purging fontconfig-dev (2.17.1-r0) ( 79/222) Purging freetype-dev (2.14.1-r1) ( 80/222) Purging brotli-dev (1.2.0-r0) ( 81/222) Purging brotli (1.2.0-r0) ( 82/222) Purging gdk-pixbuf-dev (2.44.4-r0) ( 83/222) Purging gdk-pixbuf (2.44.4-r0) Executing gdk-pixbuf-2.44.4-r0.pre-deinstall ( 84/222) Purging glib-dev (2.86.3-r1) ( 85/222) Purging bzip2-dev (1.0.8-r6) ( 86/222) Purging docbook-xsl (1.79.2-r13) ( 87/222) Purging docbook-xsl-ns (1.79.2-r13) Executing docbook-xsl-ns-1.79.2-r13.pre-deinstall ( 88/222) Purging docbook-xsl-nons (1.79.2-r13) Executing docbook-xsl-nons-1.79.2-r13.pre-deinstall ( 89/222) Purging docbook-xml (4.5-r10) Executing docbook-xml-4.5-r10.pre-deinstall ( 90/222) Purging gettext-dev (0.24.1-r1) ( 91/222) Purging gettext-asprintf (0.24.1-r1) ( 92/222) Purging gettext (0.24.1-r1) ( 93/222) Purging gettext-envsubst (0.24.1-r1) ( 94/222) Purging libxslt (1.1.43-r3) ( 95/222) Purging py3-packaging (25.0-r0) ( 96/222) Purging py3-parsing (3.2.3-r0) ( 97/222) Purging pcre2-dev (10.47-r0) ( 98/222) Purging libpcre2-16 (10.47-r0) ( 99/222) Purging libpcre2-32 (10.47-r0) (100/222) Purging libedit-dev (20251016.3.1-r0) (101/222) Purging ncurses-dev (6.6_p20251231-r0) (102/222) Purging libncurses++ (6.6_p20251231-r0) (103/222) Purging bsd-compat-headers (0.7.2-r6) (104/222) Purging pango (1.56.4-r0) (105/222) Purging cairo (1.18.4-r0) (106/222) Purging clang21-libs (21.1.8-r0) (107/222) Purging dbus-dev (1.16.2-r1) (108/222) Purging dbus-libs (1.16.2-r1) (109/222) Purging expat-dev (2.7.3-r0) (110/222) Purging expat (2.7.3-r0) (111/222) Purging libxft (2.3.9-r0) (112/222) Purging fontconfig (2.17.1-r0) (113/222) Purging harfbuzz (12.2.0-r0) (114/222) Purging freetype (2.14.1-r1) (115/222) Purging fribidi-dev (1.0.16-r2) (116/222) Purging fribidi (1.0.16-r2) (117/222) Purging libxxf86vm-dev (1.1.6-r0) (118/222) Purging libxxf86vm (1.1.6-r0) (119/222) Purging libxrender-dev (0.9.12-r0) (120/222) Purging libxtst-dev (1.2.5-r0) (121/222) Purging libxtst (1.2.5-r0) (122/222) Purging libxi-dev (1.8.2-r0) (123/222) Purging libxi (1.8.2-r0) (124/222) Purging libxfixes-dev (6.0.2-r0) (125/222) Purging libxext-dev (1.3.6-r2) (126/222) Purging libx11-dev (1.8.12-r1) (127/222) Purging xtrans (1.6.0-r0) (128/222) Purging libxkbcommon-dev (1.12.2-r0) (129/222) Purging libxkbcommon-x11 (1.12.2-r0) (130/222) Purging libxkbcommon (1.12.2-r0) (131/222) Purging xkeyboard-config (2.46-r0) (132/222) Purging libxcb-dev (1.17.0-r1) (133/222) Purging xcb-proto (1.17.0-r0) (134/222) Purging python3 (3.12.12-r0) (135/222) Purging gdbm (1.26-r0) (136/222) Purging gettext-libs (0.24.1-r1) (137/222) Purging shared-mime-info (2.4-r7) Executing shared-mime-info-2.4-r7.post-deinstall (138/222) Purging libatk-1.0 (2.58.3-r0) (139/222) Purging glib (2.86.3-r1) (140/222) Purging gnutls (3.8.11-r0) (141/222) Purging graphite2 (1.3.14-r6) (142/222) Purging libdrm-dev (2.4.131-r0) (143/222) Purging libdrm (2.4.131-r0) (144/222) Purging libpciaccess-dev (0.18.1-r1) (145/222) Purging libpciaccess (0.18.1-r1) (146/222) Purging hwdata-pci (0.401-r0) (147/222) Purging icu-dev (76.1-r2) (148/222) Purging icu (76.1-r2) (149/222) Purging icu-libs (76.1-r2) (150/222) Purging icu-data-en (76.1-r2) (151/222) Purging util-linux-dev (2.41.3-r0) (152/222) Purging libfdisk (2.41.3-r0) (153/222) Purging liblastlog2 (2.41.3-r0) (154/222) Purging libmount (2.41.3-r0) (155/222) Purging libsmartcols (2.41.3-r0) (156/222) Purging libuuid (2.41.3-r0) (157/222) Purging libblkid (2.41.3-r0) (158/222) Purging libxdmcp-dev (1.1.5-r1) (159/222) Purging libxrandr (1.5.4-r1) (160/222) Purging libxinerama (1.1.5-r4) (161/222) Purging libxext (1.3.6-r2) (162/222) Purging libxcursor (1.2.3-r0) (163/222) Purging libxdamage (1.1.6-r5) (164/222) Purging libxrender (0.9.12-r0) (165/222) Purging libxcomposite (0.4.6-r5) (166/222) Purging libxfixes (6.0.2-r0) (167/222) Purging libx11 (1.8.12-r1) (168/222) Purging libxcb (1.17.0-r1) (169/222) Purging libxdmcp (1.1.5-r1) (170/222) Purging libbsd (0.12.2-r0) (171/222) Purging libbz2 (1.0.8-r6) (172/222) Purging libeconf (0.8.0-r1) (173/222) Purging libelf (0.194-r2) (174/222) Purging libepoxy (1.5.10-r1) (175/222) Purging libffi-dev (3.5.2-r0) (176/222) Purging linux-headers (6.18.4-r0) (177/222) Purging wayland-libs-cursor (1.24.0-r0) (178/222) Purging wayland-libs-client (1.24.0-r0) (179/222) Purging p11-kit (0.25.5-r2) (180/222) Purging llvm21-libs (21.1.8-r0) (181/222) Purging libffi (3.5.2-r0) (182/222) Purging libformw (6.6_p20251231-r0) (183/222) Purging libintl (0.24.1-r1) (184/222) Purging tiff-dev (4.7.1-r0) (185/222) Purging libtiffxx (4.7.1-r0) (186/222) Purging tiff (4.7.1-r0) (187/222) Purging libjpeg-turbo-dev (3.1.3-r0) (188/222) Purging libturbojpeg (3.1.3-r0) (189/222) Purging libjpeg-turbo (3.1.3-r0) (190/222) Purging libmd (1.1.0-r0) (191/222) Purging libmenuw (6.6_p20251231-r0) (192/222) Purging libpanelw (6.6_p20251231-r0) (193/222) Purging libpng-dev (1.6.53-r0) (194/222) Purging libpng (1.6.53-r0) (195/222) Purging libwebp-dev (1.6.0-r0) (196/222) Purging libwebpdecoder (1.6.0-r0) (197/222) Purging libwebpdemux (1.6.0-r0) (198/222) Purging libwebpmux (1.6.0-r0) (199/222) Purging libwebp (1.6.0-r0) (200/222) Purging libsharpyuv (1.6.0-r0) (201/222) Purging libtasn1 (4.21.0-r0) (202/222) Purging libxau-dev (1.0.12-r0) (203/222) Purging libxau (1.0.12-r0) (204/222) Purging libxml2-dev (2.13.9-r0) (205/222) Purging libxml2-utils (2.13.9-r0) (206/222) Purging libxml2 (2.13.9-r0) (207/222) Purging libxshmfence (1.3.3-r0) (208/222) Purging mpdecimal (4.0.1-r0) (209/222) Purging nettle (3.10.2-r0) (210/222) Purging pixman-dev (0.46.4-r0) (211/222) Purging pixman (0.46.4-r0) (212/222) Purging sqlite-dev (3.51.2-r0) (213/222) Purging sqlite-libs (3.51.2-r0) (214/222) Purging sqlite (3.51.2-r0) (215/222) Purging wayland-libs-egl (1.24.0-r0) (216/222) Purging xorgproto (2025.1-r0) (217/222) Purging xz-dev (5.8.1-r0) (218/222) Purging xz (5.8.1-r0) (219/222) Purging xz-libs (5.8.1-r0) (220/222) Purging zlib-dev (1.3.1-r2) (221/222) Purging zstd-dev (1.5.7-r2) (222/222) Purging zstd (1.5.7-r2) Executing busybox-1.37.0-r31.trigger OK: 289.5 MiB in 105 packages >>> proverif: Updating the testing/armv7 repository index... >>> proverif: Signing the index...