>>> proverif: Building testing/proverif 2.05-r0 (using abuild 3.16.0-r0) started Tue, 06 Jan 2026 11:02:34 +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.110236) (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: 558.5 MiB in 124 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/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 >>> proverif: Fetching https://distfiles.alpinelinux.org/distfiles/edge/proverif-2.05.tar.gz /var/cache/distfiles/edge/proverif-2.05.tar.gz: OK >>> proverif: Unpacking /var/cache/distfiles/edge/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 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=42720K PROTOCOL examples/pitype/jfk/prot-JFKi-IDISECR.pv OK Less memory: old=32868K new=16128K 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=39980K 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=25988K 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=37044K 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=18100K 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=94788K 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.010s PROTOCOL examples/pitype/ffgg/ffgg10.pv OK Expected runtime not found in script file Actual time: 0.012s PROTOCOL examples/pitype/ffgg/ffgg100-notrace.pv OK Expected runtime not found in script file Actual time: 0.763s PROTOCOL examples/pitype/ffgg/ffgg100.pv OK Expected runtime not found in script file Actual time: 2.270s PROTOCOL examples/pitype/ffgg/ffgg150-notrace.pv OK Expected runtime not found in script file Actual time: 2.845s PROTOCOL examples/pitype/ffgg/ffgg150.pv OK Expected runtime not found in script file Actual time: 8.807s PROTOCOL examples/pitype/ffgg/ffgg200-notrace.pv OK Expected runtime not found in script file Actual time: 7.873s PROTOCOL examples/pitype/ffgg/ffgg200.pv OK Expected runtime not found in script file Actual time: 26.074s 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.278s >>> 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-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-r0.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-r0.apk >>> proverif: Build complete at Tue, 06 Jan 2026 11:04:16 +0000 elapsed time 0h 1m 42s >>> proverif: Cleaning up srcdir >>> proverif: Cleaning up pkgdir >>> proverif: Cleaning up tmpdir >>> proverif: Uninstalling dependencies... ( 1/19) Purging .makedepends-proverif (20260106.110236) ( 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: 342.8 MiB in 105 packages >>> proverif: Updating the testing/armhf repository index... >>> proverif: Signing the index...