>>> proverif: Building testing/proverif 2.05-r1 (using abuild 3.16.0-r0) started Sun, 11 Jan 2026 22:37:11 +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/214) Installing m4 (1.4.20-r0) ( 2/214) Installing ocaml-runtime (4.14.2-r2) ( 3/214) Installing ocaml (4.14.2-r2) ( 4/214) Installing bash (5.3.3-r1) Executing bash-5.3.3-r1.post-install ( 5/214) Installing libbz2 (1.0.8-r6) ( 6/214) Installing perl (5.42.0-r0) ( 7/214) Installing rpm-scripts (4.19.1.1-r3) ( 8/214) Installing ocaml-abuild-helper (4.14.2-r2) ( 9/214) Installing ocaml-ocamlbuild (0.14.1-r4) ( 10/214) Installing ncurses (6.6_p20251231-r0) ( 11/214) Installing ocamlbuild (0.14.1-r4) ( 12/214) Installing ocamlfind (1.9.6-r6) ( 13/214) Installing ocaml-compiler-libs (4.14.2-r2) ( 14/214) Installing ocaml-findlib (1.9.6-r6) ( 15/214) Installing ocaml-findlib-dev (1.9.6-r6) ( 16/214) Installing libxau (1.0.12-r0) ( 17/214) Installing libmd (1.1.0-r0) ( 18/214) Installing libbsd (0.12.2-r0) ( 19/214) Installing libxdmcp (1.1.5-r1) ( 20/214) Installing libxcb (1.17.0-r1) ( 21/214) Installing libx11 (1.8.12-r1) ( 22/214) Installing libxext (1.3.6-r2) ( 23/214) Installing libxrender (0.9.12-r0) ( 24/214) Installing libpng (1.6.53-r0) ( 25/214) Installing freetype (2.14.1-r1) ( 26/214) Installing fontconfig (2.17.1-r0) ( 27/214) Installing pixman (0.46.4-r0) ( 28/214) Installing cairo (1.18.4-r0) ( 29/214) Installing ocaml-cairo2 (0.6.5-r0) ( 30/214) Installing libffi (3.5.2-r0) ( 31/214) Installing libeconf (0.8.0-r1) ( 32/214) Installing libblkid (2.41.3-r0) ( 33/214) Installing libmount (2.41.3-r0) ( 34/214) Installing glib (2.86.3-r1) ( 35/214) Installing gobject-introspection (1.86.0-r0) ( 36/214) Installing hicolor-icon-theme (0.18-r0) ( 37/214) Installing xz-libs (5.8.1-r0) ( 38/214) Installing libxml2 (2.13.9-r0) ( 39/214) Installing shared-mime-info (2.4-r7) ( 40/214) Installing libjpeg-turbo (3.1.3-r0) ( 41/214) Installing libsharpyuv (1.6.0-r0) ( 42/214) Installing libwebp (1.6.0-r0) ( 43/214) Installing tiff (4.7.1-r0) ( 44/214) Installing gdk-pixbuf (2.44.4-r0) ( 45/214) Installing gtk-update-icon-cache (3.24.51-r0) ( 46/214) Installing libxcomposite (0.4.6-r5) ( 47/214) Installing libxfixes (6.0.2-r0) ( 48/214) Installing libxcursor (1.2.3-r0) ( 49/214) Installing libxdamage (1.1.6-r5) ( 50/214) Installing libxi (1.8.2-r0) ( 51/214) Installing libxinerama (1.1.5-r4) ( 52/214) Installing libxrandr (1.5.4-r1) ( 53/214) Installing libatk-1.0 (2.58.3-r0) ( 54/214) Installing dbus-libs (1.16.2-r1) ( 55/214) Installing at-spi2-core-libs (2.58.3-r0) ( 56/214) Installing libxtst (1.2.5-r0) ( 57/214) Installing at-spi2-core (2.58.3-r0) ( 58/214) Installing libatk-bridge-2.0 (2.58.3-r0) ( 59/214) Installing cairo-gobject (1.18.4-r0) ( 60/214) Installing avahi-libs (0.8-r23) ( 61/214) Installing nettle (3.10.2-r0) ( 62/214) Installing libtasn1 (4.21.0-r0) ( 63/214) Installing p11-kit (0.25.5-r2) ( 64/214) Installing gnutls (3.8.11-r0) ( 65/214) Installing cups-libs (2.4.13-r0) ( 66/214) Installing libepoxy (1.5.10-r1) ( 67/214) Installing fribidi (1.0.16-r2) ( 68/214) Installing graphite2 (1.3.14-r6) ( 69/214) Installing harfbuzz (12.2.0-r0) ( 70/214) Installing libxft (2.3.9-r0) ( 71/214) Installing pango (1.56.4-r0) ( 72/214) Installing wayland-libs-client (1.24.0-r0) ( 73/214) Installing wayland-libs-cursor (1.24.0-r0) ( 74/214) Installing wayland-libs-egl (1.24.0-r0) ( 75/214) Installing xkeyboard-config (2.46-r0) ( 76/214) Installing libxkbcommon (1.12.2-r0) ( 77/214) Installing gtk+3.0 (3.24.51-r0) ( 78/214) Installing gtksourceview (3.24.11-r4) ( 79/214) Installing ocaml-lablgtk3 (3.1.2-r3) ( 80/214) Installing ocaml-cairo2-dev (0.6.5-r0) ( 81/214) Installing bzip2-dev (1.0.8-r6) ( 82/214) Installing libxml2-utils (2.13.9-r0) ( 83/214) Installing docbook-xml (4.5-r10) Executing docbook-xml-4.5-r10.post-install ( 84/214) Installing libxslt (1.1.43-r3) ( 85/214) Installing docbook-xsl-ns (1.79.2-r13) Executing docbook-xsl-ns-1.79.2-r13.post-install ( 86/214) Installing docbook-xsl-nons (1.79.2-r13) Executing docbook-xsl-nons-1.79.2-r13.post-install ( 87/214) Installing docbook-xsl (1.79.2-r13) ( 88/214) Installing xz (5.8.1-r0) ( 89/214) Installing gettext-asprintf (0.24.1-r1) ( 90/214) Installing gettext-libs (0.24.1-r1) ( 91/214) Installing gettext (0.24.1-r1) ( 92/214) Installing gettext-dev (0.24.1-r1) ( 93/214) Installing gdbm (1.26-r0) ( 94/214) Installing mpdecimal (4.0.1-r0) ( 95/214) Installing libpanelw (6.6_p20251231-r0) ( 96/214) Installing sqlite-libs (3.51.2-r0) ( 97/214) Installing python3 (3.12.12-r0) ( 98/214) Installing python3-pycache-pyc0 (3.12.12-r0) ( 99/214) Installing pyc (3.12.12-r0) (100/214) Installing python3-pyc (3.12.12-r0) (101/214) Installing py3-parsing (3.2.3-r0) (102/214) Installing py3-parsing-pyc (3.2.3-r0) (103/214) Installing py3-packaging (25.0-r0) (104/214) Installing py3-packaging-pyc (25.0-r0) (105/214) Installing linux-headers (6.18.4-r0) (106/214) Installing libffi-dev (3.5.2-r0) (107/214) Installing bsd-compat-headers (0.7.2-r6) (108/214) Installing libformw (6.6_p20251231-r0) (109/214) Installing libmenuw (6.6_p20251231-r0) (110/214) Installing libncurses++ (6.6_p20251231-r0) (111/214) Installing ncurses-dev (6.6_p20251231-r0) (112/214) Installing libedit-dev (20251016.3.1-r0) (113/214) Installing zlib-dev (1.3.1-r2) (114/214) Installing libpcre2-16 (10.47-r0) (115/214) Installing libpcre2-32 (10.47-r0) (116/214) Installing pcre2-dev (10.47-r0) (117/214) Installing libuuid (2.41.3-r0) (118/214) Installing libfdisk (2.41.3-r0) (119/214) Installing liblastlog2 (2.41.3-r0) (120/214) Installing libsmartcols (2.41.3-r0) (121/214) Installing sqlite (3.51.2-r0) (122/214) Installing sqlite-dev (3.51.2-r0) (123/214) Installing util-linux-dev (2.41.3-r0) (124/214) Installing glib-dev (2.86.3-r1) (125/214) Installing libturbojpeg (3.1.3-r0) (126/214) Installing libjpeg-turbo-dev (3.1.3-r0) (127/214) Installing libpng-dev (1.6.53-r0) (128/214) Installing libtiffxx (4.7.1-r0) (129/214) Installing libwebpdecoder (1.6.0-r0) (130/214) Installing libwebpdemux (1.6.0-r0) (131/214) Installing libwebpmux (1.6.0-r0) (132/214) Installing libwebp-dev (1.6.0-r0) (133/214) Installing zstd (1.5.7-r2) (134/214) Installing zstd-dev (1.5.7-r2) (135/214) Installing tiff-dev (4.7.1-r0) (136/214) Installing gdk-pixbuf-dev (2.44.4-r0) (137/214) Installing xorgproto (2025.1-r0) (138/214) Installing libxau-dev (1.0.12-r0) (139/214) Installing xcb-proto (1.17.0-r0) (140/214) Installing xcb-proto-pyc (1.17.0-r0) (141/214) Installing libxdmcp-dev (1.1.5-r1) (142/214) Installing libxcb-dev (1.17.0-r1) (143/214) Installing xtrans (1.6.0-r0) (144/214) Installing libx11-dev (1.8.12-r1) (145/214) Installing hwdata-pci (0.401-r0) (146/214) Installing libpciaccess (0.18.1-r1) (147/214) Installing libdrm (2.4.131-r0) (148/214) Installing libpciaccess-dev (0.18.1-r1) (149/214) Installing libdrm-dev (2.4.131-r0) (150/214) Installing libxfixes-dev (6.0.2-r0) (151/214) Installing libxdamage-dev (1.1.6-r5) (152/214) Installing libxshmfence (1.3.3-r0) (153/214) Installing libxshmfence-dev (1.3.3-r0) (154/214) Installing llvm21-libs (21.1.8-r0) (155/214) Installing libelf (0.194-r2) (156/214) Installing mesa (25.2.7-r3) (157/214) Installing mesa-gles (25.2.7-r3) (158/214) Installing mesa-gbm (25.2.7-r3) (159/214) Installing mesa-egl (25.2.7-r3) (160/214) Installing libxxf86vm (1.1.6-r0) (161/214) Installing mesa-gl (25.2.7-r3) (162/214) Installing libxext-dev (1.3.6-r2) (163/214) Installing libxxf86vm-dev (1.1.6-r0) (164/214) Installing mesa-dev (25.2.7-r3) (165/214) Installing libepoxy-dev (1.5.10-r1) (166/214) Installing libxi-dev (1.8.2-r0) (167/214) Installing libxinerama-dev (1.1.5-r4) (168/214) Installing libxkbcommon-x11 (1.12.2-r0) (169/214) Installing xz-dev (5.8.1-r0) (170/214) Installing libxml2-dev (2.13.9-r0) (171/214) Installing libxkbcommon-dev (1.12.2-r0) (172/214) Installing wayland-protocols (1.47-r0) (173/214) Installing dbus-dev (1.16.2-r1) (174/214) Installing libxtst-dev (1.2.5-r0) (175/214) Installing at-spi2-core-dev (2.58.3-r0) (176/214) Installing cairo-tools (1.18.4-r0) (177/214) Installing expat (2.7.3-r0) (178/214) Installing expat-dev (2.7.3-r0) (179/214) Installing brotli (1.2.0-r0) (180/214) Installing brotli-dev (1.2.0-r0) (181/214) Installing freetype-dev (2.14.1-r1) (182/214) Installing fontconfig-dev (2.17.1-r0) (183/214) Installing libxrender-dev (0.9.12-r0) (184/214) Installing pixman-dev (0.46.4-r0) (185/214) Installing util-macros (1.20.2-r0) (186/214) Installing xcb-util (0.4.1-r3) (187/214) Installing xcb-util-dev (0.4.1-r3) (188/214) Installing cairo-dev (1.18.4-r0) (189/214) Installing fribidi-dev (1.0.16-r2) (190/214) Installing pango-tools (1.56.4-r0) (191/214) Installing harfbuzz-cairo (12.2.0-r0) (192/214) Installing harfbuzz-gobject (12.2.0-r0) (193/214) 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. (194/214) Installing icu-libs (76.1-r2) (195/214) Installing harfbuzz-icu (12.2.0-r0) (196/214) Installing harfbuzz-subset (12.2.0-r0) (197/214) Installing graphite2-dev (1.3.14-r6) (198/214) Installing icu (76.1-r2) (199/214) Installing icu-dev (76.1-r2) (200/214) Installing harfbuzz-dev (12.2.0-r0) (201/214) Installing libxft-dev (2.3.9-r0) (202/214) Installing pango-dev (1.56.4-r0) (203/214) Installing wayland-libs-server (1.24.0-r0) (204/214) Installing wayland-dev (1.24.0-r0) (205/214) Installing libxcomposite-dev (0.4.6-r5) (206/214) Installing libxcursor-dev (1.2.3-r0) (207/214) Installing libxrandr-dev (1.5.4-r1) (208/214) Installing gtk+3.0-dev (3.24.51-r0) (209/214) Installing gtksourceview-dev (3.24.11-r4) (210/214) Installing ocaml-lablgtk3-dev (3.1.2-r3) (211/214) Installing .makedepends-proverif (20260111.223713) (212/214) Installing perl-error (0.17030-r0) (213/214) Installing perl-git (2.52.0-r0) (214/214) 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: 1052.0 MiB in 320 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/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/proverif-2.05.tar.gz: OK /home/buildozer/aports/testing/proverif/use-lablgtk3.patch: OK >>> proverif: Unpacking /var/cache/distfiles/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 Slower: old=0.846s new=1.486s PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK-compapprox.pv OK PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK-corr-comp.pv OK Slower: old=1.798s new=3.194s PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK-corr-compapprox.pv OK Slower: old=0.458s new=0.809s PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK-corr.pv OK Less memory: old=13324K new=0K PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK.pv OK Less memory: old=12748K new=0K 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 Less memory: old=13476K new=0K 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 Slower: old=0.609s new=1.075s 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 Slower: old=0.297s new=0.598s 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 Slower: old=0.704s new=1.193s PROTOCOL examples/pitype/weaksecr/AugmentedEKE2.pv OK Slower: old=1.575s new=2.633s PROTOCOL examples/pitype/weaksecr/EKE-DH.pv OK Slower: old=0.470s new=0.804s Less memory: old=16660K new=0K PROTOCOL examples/pitype/weaksecr/EKE.pv OK PROTOCOL examples/pitype/weaksecr/SignedAugmentedEKE1.pv OK Slower: old=0.698s new=1.197s 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 Slower: old=0.768s new=1.430s 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 Slower: old=0.340s new=0.692s 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 Slower: old=0.648s new=1.155s 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 Slower: old=0.701s new=1.330s PROTOCOL examples/pitype/jfk/prot-JFKi-EVCACHE.pv OK Slower: old=1.186s new=2.235s PROTOCOL examples/pitype/jfk/prot-JFKi-EVNOCACHE.pv OK Slower: old=2.301s new=4.092s PROTOCOL examples/pitype/jfk/prot-JFKi-IDISECR.pv OK Slower: old=0.853s new=1.620s PROTOCOL examples/pitype/jfk/prot-JFKi-SECRECY.pv OK PROTOCOL examples/pitype/jfk/prot-JFKr-EVCACHE.pv OK Slower: old=0.930s new=1.595s PROTOCOL examples/pitype/jfk/prot-JFKr-EVNOCACHE.pv OK Slower: old=2.080s new=3.694s PROTOCOL examples/pitype/jfk/prot-JFKr-IDRSECRACT.pv OK Slower: old=1.210s new=2.241s PROTOCOL examples/pitype/jfk/prot-JFKr-IDSECR.pv OK Slower: old=1.671s new=3.452s 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 Less memory: old=12924K new=0K PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP1-PKCHANNEL.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP1-SSH.pv OK Slower: old=0.534s new=1.002s 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 Slower: old=0.729s new=1.250s PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP3-CHTOTTP.pv OK PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP3-PKCHANNEL.pv OK Less memory: old=13020K new=0K PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP3-SSH.pv OK Slower: old=1.191s new=2.419s 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 Slower: old=4.966s new=8.995s 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.017s PROTOCOL examples/pitype/ffgg/ffgg10.pv OK Expected runtime not found in script file Actual time: 0.024s PROTOCOL examples/pitype/ffgg/ffgg100-notrace.pv OK Expected runtime not found in script file Actual time: 1.354s PROTOCOL examples/pitype/ffgg/ffgg100.pv OK Expected runtime not found in script file Actual time: 5.871s PROTOCOL examples/pitype/ffgg/ffgg150-notrace.pv OK Expected runtime not found in script file Actual time: 4.778s PROTOCOL examples/pitype/ffgg/ffgg150.pv OK Expected runtime not found in script file Actual time: 25.405s PROTOCOL examples/pitype/ffgg/ffgg200-notrace.pv OK Expected runtime not found in script file Actual time: 12.553s PROTOCOL examples/pitype/ffgg/ffgg200.pv OK Expected runtime not found in script file Actual time: 74.655s PROTOCOL examples/pitype/ffgg/ffgg50-notrace.pv OK Expected runtime not found in script file Actual time: 0.205s PROTOCOL examples/pitype/ffgg/ffgg50.pv OK Expected runtime not found in script file Actual time: 0.598s >>> 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-ppc64le.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.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-ppc64le.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-ppc64le.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:40:55 +0000 elapsed time 0h 3m 44s >>> proverif: Cleaning up srcdir >>> proverif: Cleaning up pkgdir >>> proverif: Uninstalling dependencies... ( 1/214) Purging .makedepends-proverif (20260111.223713) ( 2/214) Purging m4 (1.4.20-r0) ( 3/214) Purging ocamlbuild (0.14.1-r4) ( 4/214) Purging ocaml-ocamlbuild (0.14.1-r4) ( 5/214) Purging ocaml-findlib-dev (1.9.6-r6) ( 6/214) Purging ocaml-findlib (1.9.6-r6) ( 7/214) Purging ocamlfind (1.9.6-r6) ( 8/214) Purging ocaml-lablgtk3-dev (3.1.2-r3) ( 9/214) Purging ocaml-lablgtk3 (3.1.2-r3) ( 10/214) Purging ocaml-cairo2-dev (0.6.5-r0) ( 11/214) Purging ocaml-cairo2 (0.6.5-r0) ( 12/214) Purging gtksourceview-dev (3.24.11-r4) ( 13/214) Purging gtksourceview (3.24.11-r4) ( 14/214) Purging at-spi2-core (2.58.3-r0) ( 15/214) Purging git-perl (2.52.0-r0) ( 16/214) Purging perl-git (2.52.0-r0) ( 17/214) Purging perl-error (0.17030-r0) ( 18/214) Purging gtk+3.0-dev (3.24.51-r0) ( 19/214) Purging wayland-protocols (1.47-r0) ( 20/214) Purging libepoxy-dev (1.5.10-r1) ( 21/214) Purging libxcomposite-dev (0.4.6-r5) ( 22/214) Purging libxcursor-dev (1.2.3-r0) ( 23/214) Purging libxinerama-dev (1.1.5-r4) ( 24/214) Purging libxrandr-dev (1.5.4-r1) ( 25/214) Purging mesa-dev (25.2.7-r3) ( 26/214) Purging libxdamage-dev (1.1.6-r5) ( 27/214) Purging libxshmfence-dev (1.3.3-r0) ( 28/214) Purging mesa-egl (25.2.7-r3) ( 29/214) Purging mesa-gbm (25.2.7-r3) ( 30/214) Purging mesa-gl (25.2.7-r3) ( 31/214) Purging mesa-gles (25.2.7-r3) ( 32/214) Purging ncurses (6.6_p20251231-r0) ( 33/214) Purging ocaml-abuild-helper (4.14.2-r2) ( 34/214) Purging rpm-scripts (4.19.1.1-r3) ( 35/214) Purging bash (5.3.3-r1) Executing bash-5.3.3-r1.pre-deinstall ( 36/214) Purging perl (5.42.0-r0) ( 37/214) Purging ocaml-compiler-libs (4.14.2-r2) ( 38/214) Purging ocaml (4.14.2-r2) ( 39/214) Purging ocaml-runtime (4.14.2-r2) ( 40/214) Purging pango-dev (1.56.4-r0) ( 41/214) Purging pango-tools (1.56.4-r0) ( 42/214) Purging py3-packaging-pyc (25.0-r0) ( 43/214) Purging py3-parsing-pyc (3.2.3-r0) ( 44/214) Purging python3-pyc (3.12.12-r0) ( 45/214) Purging python3-pycache-pyc0 (3.12.12-r0) ( 46/214) Purging xcb-proto-pyc (1.17.0-r0) ( 47/214) Purging pyc (3.12.12-r0) ( 48/214) Purging wayland-dev (1.24.0-r0) ( 49/214) Purging wayland-libs-server (1.24.0-r0) ( 50/214) Purging at-spi2-core-dev (2.58.3-r0) ( 51/214) Purging gtk+3.0 (3.24.51-r0) Executing gtk+3.0-3.24.51-r0.post-deinstall ( 52/214) Purging gobject-introspection (1.86.0-r0) ( 53/214) Purging gtk-update-icon-cache (3.24.51-r0) ( 54/214) Purging hicolor-icon-theme (0.18-r0) ( 55/214) Purging libatk-bridge-2.0 (2.58.3-r0) ( 56/214) Purging at-spi2-core-libs (2.58.3-r0) ( 57/214) Purging cups-libs (2.4.13-r0) ( 58/214) Purging avahi-libs (0.8-r23) ( 59/214) Purging harfbuzz-dev (12.2.0-r0) ( 60/214) Purging harfbuzz-cairo (12.2.0-r0) ( 61/214) Purging harfbuzz-gobject (12.2.0-r0) ( 62/214) Purging harfbuzz-icu (12.2.0-r0) ( 63/214) Purging harfbuzz-subset (12.2.0-r0) ( 64/214) Purging graphite2-dev (1.3.14-r6) ( 65/214) Purging cairo-dev (1.18.4-r0) ( 66/214) Purging cairo-tools (1.18.4-r0) ( 67/214) Purging xcb-util-dev (0.4.1-r3) ( 68/214) Purging util-macros (1.20.2-r0) ( 69/214) Purging xcb-util (0.4.1-r3) ( 70/214) Purging cairo-gobject (1.18.4-r0) ( 71/214) Purging libxft-dev (2.3.9-r0) ( 72/214) Purging fontconfig-dev (2.17.1-r0) ( 73/214) Purging freetype-dev (2.14.1-r1) ( 74/214) Purging brotli-dev (1.2.0-r0) ( 75/214) Purging brotli (1.2.0-r0) ( 76/214) Purging gdk-pixbuf-dev (2.44.4-r0) ( 77/214) Purging gdk-pixbuf (2.44.4-r0) Executing gdk-pixbuf-2.44.4-r0.pre-deinstall ( 78/214) Purging glib-dev (2.86.3-r1) ( 79/214) Purging bzip2-dev (1.0.8-r6) ( 80/214) Purging docbook-xsl (1.79.2-r13) ( 81/214) Purging docbook-xsl-ns (1.79.2-r13) Executing docbook-xsl-ns-1.79.2-r13.pre-deinstall ( 82/214) Purging docbook-xsl-nons (1.79.2-r13) Executing docbook-xsl-nons-1.79.2-r13.pre-deinstall ( 83/214) Purging docbook-xml (4.5-r10) Executing docbook-xml-4.5-r10.pre-deinstall ( 84/214) Purging gettext-dev (0.24.1-r1) ( 85/214) Purging gettext-asprintf (0.24.1-r1) ( 86/214) Purging gettext (0.24.1-r1) ( 87/214) Purging libxslt (1.1.43-r3) ( 88/214) Purging py3-packaging (25.0-r0) ( 89/214) Purging py3-parsing (3.2.3-r0) ( 90/214) Purging pcre2-dev (10.47-r0) ( 91/214) Purging libpcre2-16 (10.47-r0) ( 92/214) Purging libpcre2-32 (10.47-r0) ( 93/214) Purging libedit-dev (20251016.3.1-r0) ( 94/214) Purging ncurses-dev (6.6_p20251231-r0) ( 95/214) Purging libncurses++ (6.6_p20251231-r0) ( 96/214) Purging bsd-compat-headers (0.7.2-r6) ( 97/214) Purging pango (1.56.4-r0) ( 98/214) Purging cairo (1.18.4-r0) ( 99/214) Purging dbus-dev (1.16.2-r1) (100/214) Purging dbus-libs (1.16.2-r1) (101/214) Purging expat-dev (2.7.3-r0) (102/214) Purging expat (2.7.3-r0) (103/214) Purging libxft (2.3.9-r0) (104/214) Purging fontconfig (2.17.1-r0) (105/214) Purging harfbuzz (12.2.0-r0) (106/214) Purging freetype (2.14.1-r1) (107/214) Purging fribidi-dev (1.0.16-r2) (108/214) Purging fribidi (1.0.16-r2) (109/214) Purging libxxf86vm-dev (1.1.6-r0) (110/214) Purging libxxf86vm (1.1.6-r0) (111/214) Purging libxrender-dev (0.9.12-r0) (112/214) Purging libxtst-dev (1.2.5-r0) (113/214) Purging libxtst (1.2.5-r0) (114/214) Purging libxi-dev (1.8.2-r0) (115/214) Purging libxi (1.8.2-r0) (116/214) Purging libxfixes-dev (6.0.2-r0) (117/214) Purging libxext-dev (1.3.6-r2) (118/214) Purging libx11-dev (1.8.12-r1) (119/214) Purging xtrans (1.6.0-r0) (120/214) Purging libxkbcommon-dev (1.12.2-r0) (121/214) Purging libxkbcommon-x11 (1.12.2-r0) (122/214) Purging libxkbcommon (1.12.2-r0) (123/214) Purging xkeyboard-config (2.46-r0) (124/214) Purging libxcb-dev (1.17.0-r1) (125/214) Purging xcb-proto (1.17.0-r0) (126/214) Purging python3 (3.12.12-r0) (127/214) Purging gdbm (1.26-r0) (128/214) Purging gettext-libs (0.24.1-r1) (129/214) Purging shared-mime-info (2.4-r7) Executing shared-mime-info-2.4-r7.post-deinstall (130/214) Purging libatk-1.0 (2.58.3-r0) (131/214) Purging glib (2.86.3-r1) (132/214) Purging gnutls (3.8.11-r0) (133/214) Purging graphite2 (1.3.14-r6) (134/214) Purging libdrm-dev (2.4.131-r0) (135/214) Purging libpciaccess-dev (0.18.1-r1) (136/214) Purging mesa (25.2.7-r3) (137/214) Purging libdrm (2.4.131-r0) (138/214) Purging libpciaccess (0.18.1-r1) (139/214) Purging hwdata-pci (0.401-r0) (140/214) Purging icu-dev (76.1-r2) (141/214) Purging icu (76.1-r2) (142/214) Purging icu-libs (76.1-r2) (143/214) Purging icu-data-en (76.1-r2) (144/214) Purging util-linux-dev (2.41.3-r0) (145/214) Purging libfdisk (2.41.3-r0) (146/214) Purging liblastlog2 (2.41.3-r0) (147/214) Purging libmount (2.41.3-r0) (148/214) Purging libsmartcols (2.41.3-r0) (149/214) Purging libuuid (2.41.3-r0) (150/214) Purging libblkid (2.41.3-r0) (151/214) Purging libxdmcp-dev (1.1.5-r1) (152/214) Purging libxrandr (1.5.4-r1) (153/214) Purging libxinerama (1.1.5-r4) (154/214) Purging libxext (1.3.6-r2) (155/214) Purging libxcursor (1.2.3-r0) (156/214) Purging libxdamage (1.1.6-r5) (157/214) Purging libxrender (0.9.12-r0) (158/214) Purging libxcomposite (0.4.6-r5) (159/214) Purging libxfixes (6.0.2-r0) (160/214) Purging libx11 (1.8.12-r1) (161/214) Purging libxcb (1.17.0-r1) (162/214) Purging libxdmcp (1.1.5-r1) (163/214) Purging libbsd (0.12.2-r0) (164/214) Purging libbz2 (1.0.8-r6) (165/214) Purging libeconf (0.8.0-r1) (166/214) Purging libelf (0.194-r2) (167/214) Purging libepoxy (1.5.10-r1) (168/214) Purging libffi-dev (3.5.2-r0) (169/214) Purging linux-headers (6.18.4-r0) (170/214) Purging wayland-libs-cursor (1.24.0-r0) (171/214) Purging wayland-libs-client (1.24.0-r0) (172/214) Purging p11-kit (0.25.5-r2) (173/214) Purging llvm21-libs (21.1.8-r0) (174/214) Purging libffi (3.5.2-r0) (175/214) Purging libformw (6.6_p20251231-r0) (176/214) Purging tiff-dev (4.7.1-r0) (177/214) Purging libtiffxx (4.7.1-r0) (178/214) Purging tiff (4.7.1-r0) (179/214) Purging libjpeg-turbo-dev (3.1.3-r0) (180/214) Purging libturbojpeg (3.1.3-r0) (181/214) Purging libjpeg-turbo (3.1.3-r0) (182/214) Purging libmd (1.1.0-r0) (183/214) Purging libmenuw (6.6_p20251231-r0) (184/214) Purging libpanelw (6.6_p20251231-r0) (185/214) Purging libpng-dev (1.6.53-r0) (186/214) Purging libpng (1.6.53-r0) (187/214) Purging libwebp-dev (1.6.0-r0) (188/214) Purging libwebpdecoder (1.6.0-r0) (189/214) Purging libwebpdemux (1.6.0-r0) (190/214) Purging libwebpmux (1.6.0-r0) (191/214) Purging libwebp (1.6.0-r0) (192/214) Purging libsharpyuv (1.6.0-r0) (193/214) Purging libtasn1 (4.21.0-r0) (194/214) Purging libxau-dev (1.0.12-r0) (195/214) Purging libxau (1.0.12-r0) (196/214) Purging libxml2-dev (2.13.9-r0) (197/214) Purging libxml2-utils (2.13.9-r0) (198/214) Purging libxml2 (2.13.9-r0) (199/214) Purging libxshmfence (1.3.3-r0) (200/214) Purging mpdecimal (4.0.1-r0) (201/214) Purging nettle (3.10.2-r0) (202/214) Purging pixman-dev (0.46.4-r0) (203/214) Purging pixman (0.46.4-r0) (204/214) Purging sqlite-dev (3.51.2-r0) (205/214) Purging sqlite-libs (3.51.2-r0) (206/214) Purging sqlite (3.51.2-r0) (207/214) Purging wayland-libs-egl (1.24.0-r0) (208/214) Purging xorgproto (2025.1-r0) (209/214) Purging xz-dev (5.8.1-r0) (210/214) Purging xz (5.8.1-r0) (211/214) Purging xz-libs (5.8.1-r0) (212/214) Purging zlib-dev (1.3.1-r2) (213/214) Purging zstd-dev (1.5.7-r2) (214/214) Purging zstd (1.5.7-r2) Executing busybox-1.37.0-r31.trigger OK: 288.7 MiB in 106 packages >>> proverif: Updating the testing/ppc64le repository index... >>> proverif: Signing the index...