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