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