>>> proverif: Building testing/proverif 2.05-r0 (using abuild 3.16.0-r0) started Tue, 06 Jan 2026 18:29:47 +0000 >>> proverif: Validating /home/buildozer/aports/testing/proverif/APKBUILD... >>> proverif: Analyzing dependencies... >>> proverif: Installing for build: build-base m4 ocamlbuild ocaml-findlib-dev ( 1/19) Installing m4 (1.4.20-r0) ( 2/19) Installing ocaml-runtime (4.14.2-r2) ( 3/19) Installing ocaml (4.14.2-r2) ( 4/19) Installing bash (5.3.3-r1) Executing bash-5.3.3-r1.post-install ( 5/19) Installing libbz2 (1.0.8-r6) ( 6/19) Installing perl (5.42.0-r0) ( 7/19) Installing rpm-scripts (4.19.1.1-r3) ( 8/19) Installing ocaml-abuild-helper (4.14.2-r2) ( 9/19) Installing ocaml-ocamlbuild (0.14.1-r4) (10/19) Installing ncurses (6.5_p20251123-r0) (11/19) Installing ocamlbuild (0.14.1-r4) (12/19) Installing ocamlfind (1.9.6-r6) (13/19) Installing ocaml-compiler-libs (4.14.2-r2) (14/19) Installing ocaml-findlib (1.9.6-r6) (15/19) Installing ocaml-findlib-dev (1.9.6-r6) (16/19) Installing .makedepends-proverif (20260106.182949) (17/19) Installing perl-error (0.17030-r0) (18/19) Installing perl-git (2.52.0-r0) (19/19) Installing git-perl (2.52.0-r0) Executing busybox-1.37.0-r30.trigger OK: 554.1 MiB in 125 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) wget: server returned error: HTTP/1.1 404 Not Found >>> proverif: Fetching proverif-2.05.tar.gz::http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif2.05.tar.gz Connecting to prosecco.gforge.inria.fr (128.93.162.203:80) Connecting to prosecco.gforge.inria.fr (128.93.162.203:443) Connecting to bblanche.gitlabpages.inria.fr (128.93.193.18:443) saving to '/var/cache/distfiles/proverif-2.05.tar.gz.part' proverif-2.05.tar.gz 10% |*** | 105k 0:00:08 ETA proverif-2.05.tar.gz 100% |********************************| 957k 0:00:00 ETA '/var/cache/distfiles/proverif-2.05.tar.gz.part' saved /var/cache/distfiles/proverif-2.05.tar.gz: OK >>> proverif: Fetching https://distfiles.alpinelinux.org/distfiles/edge/proverif-2.05.tar.gz /var/cache/distfiles/proverif-2.05.tar.gz: OK >>> proverif: Unpacking /var/cache/distfiles/proverif-2.05.tar.gz... 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 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 Less memory: old=12928K new=0K PROTOCOL examples/pitype/secr-auth/NeedhamSchroederPK.pv OK PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK-comp.pv OK Slower: old=0.846s new=1.462s 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.193s PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK-corr-compapprox.pv OK Slower: old=0.458s new=0.810s PROTOCOL examples/pitype/secr-auth/NeedhamSchroederSK-corr.pv OK 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 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.077s PROTOCOL examples/pitype/secr-auth/Yahalom-block-cipher.pv OK PROTOCOL examples/pitype/secr-auth/Yahalom-proba-enc.pv OK Less memory: old=14160K new=0K 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 Less memory: old=13316K new=0K 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.190s PROTOCOL examples/pitype/weaksecr/AugmentedEKE2.pv OK Slower: old=1.575s new=2.630s PROTOCOL examples/pitype/weaksecr/EKE-DH.pv OK Slower: old=0.470s new=0.793s PROTOCOL examples/pitype/weaksecr/EKE.pv OK PROTOCOL examples/pitype/weaksecr/SignedAugmentedEKE1.pv OK Slower: old=0.698s new=1.198s 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.442s 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.684s 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.157s 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.331s PROTOCOL examples/pitype/jfk/prot-JFKi-EVCACHE.pv OK Slower: old=1.186s new=2.240s PROTOCOL examples/pitype/jfk/prot-JFKi-EVNOCACHE.pv OK Slower: old=2.301s new=4.094s PROTOCOL examples/pitype/jfk/prot-JFKi-IDISECR.pv OK Slower: old=0.853s new=1.616s 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.709s PROTOCOL examples/pitype/jfk/prot-JFKr-IDRSECRACT.pv OK Slower: old=1.210s new=2.248s PROTOCOL examples/pitype/jfk/prot-JFKr-IDSECR.pv OK Slower: old=1.671s new=3.450s 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 Slower: old=0.534s new=0.998s 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 PROTOCOL examples/pitype/certified-mail-AbadiGlewHornePinkas/onefile/prot-PROP3-SSH.pv OK Slower: old=1.191s new=2.424s 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.987s 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 Less memory: old=22896K new=8192K 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.010s PROTOCOL examples/pitype/ffgg/ffgg10.pv OK Expected runtime not found in script file Actual time: 0.018s PROTOCOL examples/pitype/ffgg/ffgg100-notrace.pv OK Expected runtime not found in script file Actual time: 1.343s PROTOCOL examples/pitype/ffgg/ffgg100.pv OK Expected runtime not found in script file Actual time: 5.866s PROTOCOL examples/pitype/ffgg/ffgg150-notrace.pv OK Expected runtime not found in script file Actual time: 4.766s PROTOCOL examples/pitype/ffgg/ffgg150.pv OK Expected runtime not found in script file Actual time: 25.388s PROTOCOL examples/pitype/ffgg/ffgg200-notrace.pv OK Expected runtime not found in script file Actual time: 12.551s PROTOCOL examples/pitype/ffgg/ffgg200.pv OK Expected runtime not found in script file Actual time: 74.433s PROTOCOL examples/pitype/ffgg/ffgg50-notrace.pv OK Expected runtime not found in script file Actual time: 0.201s PROTOCOL examples/pitype/ffgg/ffgg50.pv OK Expected runtime not found in script file Actual time: 0.608s >>> 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*: 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-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-r0.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-r0.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-r0.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-r0.apk >>> proverif: Build complete at Tue, 06 Jan 2026 18:33:19 +0000 elapsed time 0h 3m 32s >>> proverif: Cleaning up srcdir >>> proverif: Cleaning up pkgdir >>> proverif: Uninstalling dependencies... ( 1/19) Purging .makedepends-proverif (20260106.182949) ( 2/19) Purging m4 (1.4.20-r0) ( 3/19) Purging ocamlbuild (0.14.1-r4) ( 4/19) Purging ocaml-ocamlbuild (0.14.1-r4) ( 5/19) Purging ocaml-findlib-dev (1.9.6-r6) ( 6/19) Purging ocaml-findlib (1.9.6-r6) ( 7/19) Purging ocamlfind (1.9.6-r6) ( 8/19) Purging git-perl (2.52.0-r0) ( 9/19) Purging perl-git (2.52.0-r0) (10/19) Purging perl-error (0.17030-r0) (11/19) Purging ncurses (6.5_p20251123-r0) (12/19) Purging ocaml-abuild-helper (4.14.2-r2) (13/19) Purging rpm-scripts (4.19.1.1-r3) (14/19) Purging bash (5.3.3-r1) Executing bash-5.3.3-r1.pre-deinstall (15/19) Purging perl (5.42.0-r0) (16/19) Purging ocaml-compiler-libs (4.14.2-r2) (17/19) Purging ocaml (4.14.2-r2) (18/19) Purging ocaml-runtime (4.14.2-r2) (19/19) Purging libbz2 (1.0.8-r6) Executing busybox-1.37.0-r30.trigger OK: 288.7 MiB in 106 packages >>> proverif: Updating the testing/ppc64le repository index... >>> proverif: Signing the index...