[INFO] fetching crate hacl-sys 0.0.3-pre.1... [INFO] testing hacl-sys-0.0.3-pre.1 against try#8de4c7234dd9b97c9d76b58671343fdbbc9a433e+target=x86_64-unknown-linux-musl for musl_upgrade_1_2_5_with_libc_patch_0 [INFO] extracting crate hacl-sys 0.0.3-pre.1 into /workspace/builds/worker-2-tc1/source [INFO] started tweaking crates.io crate hacl-sys 0.0.3-pre.1 [INFO] finished tweaking crates.io crate hacl-sys 0.0.3-pre.1 [INFO] tweaked toml for crates.io crate hacl-sys 0.0.3-pre.1 written to /workspace/builds/worker-2-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate hacl-sys 0.0.3-pre.1 on toolchain 8de4c7234dd9b97c9d76b58671343fdbbc9a433e [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Locking 55 packages to latest compatible versions [INFO] [stderr] Adding bindgen v0.65.1 (available: v0.72.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 396888525d0c47a10958877e65dfaab9828b8814a6eeb1924e83f583eb59a0e7 [INFO] running `Command { std: "docker" "start" "-a" "396888525d0c47a10958877e65dfaab9828b8814a6eeb1924e83f583eb59a0e7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "396888525d0c47a10958877e65dfaab9828b8814a6eeb1924e83f583eb59a0e7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "396888525d0c47a10958877e65dfaab9828b8814a6eeb1924e83f583eb59a0e7", kill_on_drop: false }` [INFO] [stdout] 396888525d0c47a10958877e65dfaab9828b8814a6eeb1924e83f583eb59a0e7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+8de4c7234dd9b97c9d76b58671343fdbbc9a433e" "build" "--frozen" "--message-format=json" "--target" "x86_64-unknown-linux-musl", kill_on_drop: false }` [INFO] [stdout] 1194a1ea6603f2a87319ca9809d957afd4ac7a9bdc9c312819dd265997fe2268 [INFO] running `Command { std: "docker" "start" "-a" "1194a1ea6603f2a87319ca9809d957afd4ac7a9bdc9c312819dd265997fe2268", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling glob v0.3.2 [INFO] [stderr] Compiling libc v0.2.174 [INFO] [stderr] Compiling rustix v0.38.44 [INFO] [stderr] Compiling prettyplease v0.2.35 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling memchr v2.7.5 [INFO] [stderr] Compiling bitflags v2.9.1 [INFO] [stderr] Compiling linux-raw-sys v0.4.15 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling cfg-if v1.0.1 [INFO] [stderr] Compiling libloading v0.8.8 [INFO] [stderr] Compiling bindgen v0.65.1 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling clang-sys v1.8.1 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling syn v2.0.104 [INFO] [stderr] Compiling home v0.5.11 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling bitflags v1.3.2 [INFO] [stderr] Compiling peeking_take_while v0.1.2 [INFO] [stderr] Compiling lazycell v1.3.0 [INFO] [stderr] Compiling log v0.4.27 [INFO] [stderr] Compiling fs_extra v1.3.0 [INFO] [stderr] Compiling cexpr v0.6.0 [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Compiling which v4.4.2 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling hacl-sys v0.0.3-pre.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unexpected `cfg` condition name: `nobindgen` [INFO] [stdout] --> build.rs:3:29 [INFO] [stdout] | [INFO] [stdout] 3 | #[cfg(all(not(windows), not(nobindgen)))] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: expected names are: `docsrs`, `feature`, and `test` and 31 more [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(nobindgen)'] } [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] = note: `#[warn(unexpected_cfgs)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unexpected `cfg` condition name: `nobindgen` [INFO] [stdout] --> build.rs:69:20 [INFO] [stdout] | [INFO] [stdout] 69 | #[cfg(any(windows, nobindgen))] [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: consider using a Cargo feature instead [INFO] [stdout] = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint: [INFO] [stdout] [lints.rust] [INFO] [stdout] unexpected_cfgs = { level = "warn", check-cfg = ['cfg(nobindgen)'] } [INFO] [stdout] = note: see for more information about checking conditional configuration [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: failed to run custom build command for `hacl-sys v0.0.3-pre.1 (/opt/rustwide/workdir)` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/hacl-sys-18e010e3b176af23/build-script-build` (signal: 6, SIGABRT: process abort signal) [INFO] [stderr] --- stdout [INFO] [stderr] -- The C compiler identification is GNU 13.3.0 [INFO] [stderr] -- The CXX compiler identification is GNU 13.3.0 [INFO] [stderr] -- Detecting C compiler ABI info [INFO] [stderr] -- Detecting C compiler ABI info - done [INFO] [stderr] -- Check for working C compiler: /usr/bin/cc - skipped [INFO] [stderr] -- Detecting C compile features [INFO] [stderr] -- Detecting C compile features - done [INFO] [stderr] -- Detecting CXX compiler ABI info [INFO] [stderr] -- Detecting CXX compiler ABI info - done [INFO] [stderr] -- Check for working CXX compiler: /usr/bin/c++ - skipped [INFO] [stderr] -- Detecting CXX compile features [INFO] [stderr] -- Detecting CXX compile features - done [INFO] [stderr] -- The ASM compiler identification is GNU [INFO] [stderr] -- Found assembler: /usr/bin/cc [INFO] [stderr] -- Bug 81300 check: FALSE [INFO] [stderr] -- int128 support: TRUE [INFO] [stderr] -- explicit_bzero support: TRUE [INFO] [stderr] -- vec128 support: TRUE [INFO] [stderr] -- vec256 support: TRUE [INFO] [stderr] -- Detected vale support [INFO] [stderr] -- Detected inline assembly support [INFO] [stderr] -- Detected intrinsics support [INFO] [stderr] -- Detected an x64 architecture [INFO] [stderr] -- Configuring done (2.7s) [INFO] [stderr] -- Generating done (0.0s) [INFO] [stderr] -- Build files have been written to: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build [INFO] [stderr] ninja: Entering directory `build' [INFO] [stderr] [1/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Streaming_Blake2s_128.c.o [INFO] [stderr] [2/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Streaming_Poly1305_128.c.o [INFO] [stderr] [3/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Poly1305_128.c.o [INFO] [stderr] [4/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Chacha20Poly1305_128.c.o [INFO] [stderr] [5/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Hash_Blake2s_128.c.o [INFO] [stderr] [6/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Bignum64.c.o [INFO] [stderr] [7/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Chacha20_Vec128.c.o [INFO] [stderr] [8/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_GenericField64.c.o [INFO] [stderr] [9/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HMAC_Blake2s_128.c.o [INFO] [stderr] [10/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HKDF_Blake2s_128.c.o [INFO] [stderr] [11/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve51_CP128_SHA512.c.o [INFO] [stderr] [12/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve51_CP128_SHA256.c.o [INFO] [stderr] [13/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_P256_CP128_SHA256.c.o [INFO] [stderr] [14/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve64_CP128_SHA512.c.o [INFO] [stderr] [15/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_HPKE_Curve64_CP128_SHA256.c.o [INFO] [stderr] [16/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Streaming_Blake2b_256.c.o [INFO] [stderr] [17/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_SHA2_Vec128.c.o [INFO] [stderr] [18/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Hash_Blake2b_256.c.o [INFO] [stderr] [19/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20Poly1305_256.c.o [INFO] [stderr] [20/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Streaming_Poly1305_256.c.o [INFO] [stderr] [21/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Poly1305_256.c.o [INFO] [stderr] [22/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HKDF_Blake2b_256.c.o [INFO] [stderr] [23/153] Building C object CMakeFiles/hacl_vec128.dir/src/Hacl_Bignum4096.c.o [INFO] [stderr] [24/153] Building C object CMakeFiles/hacl.dir/src/Hacl_NaCl.c.o [INFO] [stderr] [25/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HMAC_Blake2b_256.c.o [INFO] [stderr] [26/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve51_CP256_SHA512.c.o [INFO] [stderr] [27/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_Chacha20_Vec256.c.o [INFO] [stderr] [28/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Poly1305_32.c.o [INFO] [stderr] [29/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve51_CP256_SHA256.c.o [INFO] [stderr] [30/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HMAC.c.o [INFO] [stderr] [31/153] Building C object CMakeFiles/hacl.dir/src/Lib_Memzero0.c.o [INFO] [stderr] [32/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve64_CP256_SHA256.c.o [INFO] [stderr] [33/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HMAC_DRBG.c.o [INFO] [stderr] [34/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_P256_CP256_SHA256.c.o [INFO] [stderr] [35/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_HPKE_Curve64_CP256_SHA512.c.o [INFO] [stderr] [36/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Salsa20.c.o [INFO] [stderr] [37/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_Base.c.o [INFO] [stderr] [38/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Streaming_Blake2.c.o [INFO] [stderr] [39/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Curve25519_51.c.o [INFO] [stderr] [40/153] Building C object CMakeFiles/hacl.dir/src/Hacl_EC_Ed25519.c.o [INFO] [stderr] [41/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_Blake2.c.o [INFO] [stderr] [42/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Chacha20Poly1305_32.c.o [INFO] [stderr] [43/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Chacha20.c.o [INFO] [stderr] [44/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Streaming_Poly1305_32.c.o [INFO] [stderr] [45/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_SHA2.c.o [INFO] [stderr] [46/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum32.c.o [INFO] [stderr] [47/153] Building C object CMakeFiles/hacl.dir/src/Hacl_GenericField32.c.o [INFO] [stderr] [48/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum256_32.c.o [INFO] [stderr] [49/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum256.c.o [INFO] [stderr] [50/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Chacha20_Vec32.c.o [INFO] [stderr] [51/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_SHA3.c.o [INFO] [stderr] [52/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_SHA1.c.o [INFO] [stderr] [53/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Ed25519.c.o [INFO] [stderr] [54/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Hash_MD5.c.o [INFO] [stderr] [55/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HKDF.c.o [INFO] [stderr] [56/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve51_CP32_SHA256.c.o [INFO] [stderr] [57/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum4096_32.c.o [INFO] [stderr] [58/153] Building C object CMakeFiles/hacl.dir/src/Hacl_FFDHE.c.o [INFO] [stderr] [59/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve51_CP32_SHA512.c.o [INFO] [stderr] [60/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo_KEM.c.o [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/Hacl_Frodo_KEM.c: In function 'randombytes_': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/Hacl_Frodo_KEM.c:33:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 33 | bool b = Lib_RandomBuffer_System_randombytes(res, len); [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/internal/Hacl_Frodo_KEM.h:40, [INFO] [stderr] from /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/Hacl_Frodo_KEM.c:26: [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] [61/153] Building C object CMakeFiles/hacl.dir/src/Lib_RandomBuffer_System.c.o [INFO] [stderr] [62/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_P256_CP32_SHA256.c.o [INFO] [stderr] [63/153] Building C object CMakeFiles/hacl_vec256.dir/src/Hacl_SHA2_Vec256.c.o [INFO] [stderr] [64/153] Building C object CMakeFiles/hacl.dir/src/Hacl_EC_K256.c.o [INFO] [stderr] [65/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo1344.c.o [INFO] [stderr] [66/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo640.c.o [INFO] [stderr] [67/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo976.c.o [INFO] [stderr] [68/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_AutoConfig2.c.o [INFO] [stderr] [69/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Ed25519.c.o [INFO] [stderr] [70/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Curve25519.c.o [INFO] [stderr] [71/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Cipher.c.o [INFO] [stderr] [72/153] Building C object CMakeFiles/hacl.dir/src/Hacl_RSAPSS.c.o [INFO] [stderr] [73/153] Building C object CMakeFiles/hacl.dir/src/Hacl_P256.c.o [INFO] [stderr] [74/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Frodo64.c.o [INFO] [stderr] [75/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_HMAC.c.o [INFO] [stderr] [76/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_HKDF.c.o [INFO] [stderr] [77/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Curve25519_64.c.o [INFO] [stderr] [78/153] Building ASM object CMakeFiles/hacl.dir/vale/src/cpuid-x86_64-linux.S.o [INFO] [stderr] [79/153] Building ASM object CMakeFiles/hacl.dir/vale/src/sha256-x86_64-linux.S.o [INFO] [stderr] [80/153] Building C object CMakeFiles/hacl.dir/src/Hacl_K256_ECDSA.c.o [INFO] [stderr] [81/153] Building ASM object CMakeFiles/hacl.dir/vale/src/aesgcm-x86_64-linux.S.o [INFO] [stderr] [82/153] Building ASM object CMakeFiles/hacl.dir/vale/src/curve25519-x86_64-linux.S.o [INFO] [stderr] [83/153] Building ASM object CMakeFiles/hacl.dir/vale/src/poly1305-x86_64-linux.S.o [INFO] [stderr] [84/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve64_CP32_SHA256.c.o [INFO] [stderr] [85/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Chacha20Poly1305.c.o [INFO] [stderr] [86/153] Building C object CMakeFiles/hacl.dir/src/Hacl_HPKE_Curve64_CP32_SHA512.c.o [INFO] [stderr] [87/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Hash.c.o [INFO] [stderr] [88/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_NaCl.c.o [INFO] [stderr] [89/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Poly1305_32.c.o [INFO] [stderr] [90/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_Poly1305.c.o [INFO] [stderr] [91/153] Building C object CMakeFiles/hacl.dir/src/Hacl_Bignum.c.o [INFO] [stderr] [92/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HMAC.c.o [INFO] [stderr] [93/153] Building C object CMakeFiles/hacl_static.dir/src/Lib_Memzero0.c.o [INFO] [stderr] [94/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_DRBG.c.o [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha1': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:250:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 250 | bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy); [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/EverCrypt_DRBG.h:38, [INFO] [stderr] from /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:26: [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_256': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:340:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 340 | bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_384': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:430:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 430 | bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_512': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:520:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 520 | bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha1': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:608:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 608 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_256': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:689:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 689 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_384': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:770:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 770 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_512': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:851:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 851 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha1': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:947:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 947 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_256': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:1168:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 1168 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_384': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:1389:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 1389 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_512': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:1610:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 1610 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] [95/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_Base.c.o [INFO] [stderr] [96/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HMAC_DRBG.c.o [INFO] [stderr] [97/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Streaming_Blake2.c.o [INFO] [stderr] [98/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Salsa20.c.o [INFO] [stderr] [99/153] Building C object CMakeFiles/hacl.dir/src/EverCrypt_AEAD.c.o [INFO] [stderr] [100/153] Linking C shared library libhacl.so [INFO] [stderr] [101/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Curve25519_51.c.o [INFO] [stderr] [102/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_EC_Ed25519.c.o [INFO] [stderr] [103/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_Blake2.c.o [INFO] [stderr] [104/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Chacha20.c.o [INFO] [stderr] [105/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Chacha20Poly1305_32.c.o [INFO] [stderr] [106/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Streaming_Poly1305_32.c.o [INFO] [stderr] [107/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_SHA2.c.o [INFO] [stderr] [108/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum32.c.o [INFO] [stderr] [109/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Chacha20_Vec32.c.o [INFO] [stderr] [110/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_GenericField32.c.o [INFO] [stderr] [111/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum256_32.c.o [INFO] [stderr] [112/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum256.c.o [INFO] [stderr] [113/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_SHA1.c.o [INFO] [stderr] [114/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_SHA3.c.o [INFO] [stderr] [115/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Hash_MD5.c.o [INFO] [stderr] [116/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HKDF.c.o [INFO] [stderr] [117/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Ed25519.c.o [INFO] [stderr] [118/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_Curve51_CP32_SHA256.c.o [INFO] [stderr] [119/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_Curve51_CP32_SHA512.c.o [INFO] [stderr] [120/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo_KEM.c.o [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/Hacl_Frodo_KEM.c: In function 'randombytes_': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/Hacl_Frodo_KEM.c:33:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 33 | bool b = Lib_RandomBuffer_System_randombytes(res, len); [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/internal/Hacl_Frodo_KEM.h:40, [INFO] [stderr] from /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/Hacl_Frodo_KEM.c:26: [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] [121/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_EC_K256.c.o [INFO] [stderr] [122/153] Building C object CMakeFiles/hacl_static.dir/src/Lib_RandomBuffer_System.c.o [INFO] [stderr] [123/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_FFDHE.c.o [INFO] [stderr] [124/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum4096_32.c.o [INFO] [stderr] [125/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo1344.c.o [INFO] [stderr] [126/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo640.c.o [INFO] [stderr] [127/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo976.c.o [INFO] [stderr] [128/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_P256_CP32_SHA256.c.o [INFO] [stderr] [129/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_AutoConfig2.c.o [INFO] [stderr] [130/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Ed25519.c.o [INFO] [stderr] [131/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Frodo64.c.o [INFO] [stderr] [132/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Curve25519.c.o [INFO] [stderr] [133/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Cipher.c.o [INFO] [stderr] [134/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_RSAPSS.c.o [INFO] [stderr] [135/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Chacha20Poly1305.c.o [INFO] [stderr] [136/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_P256.c.o [INFO] [stderr] [137/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_HMAC.c.o [INFO] [stderr] [138/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Hash.c.o [INFO] [stderr] [139/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Bignum.c.o [INFO] [stderr] [140/153] Building ASM object CMakeFiles/hacl_static.dir/vale/src/cpuid-x86_64-linux.S.o [INFO] [stderr] [141/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_DRBG.c.o [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha1': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:250:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 250 | bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy); [INFO] [stderr] | ^~~~ [INFO] [stderr] In file included from /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/EverCrypt_DRBG.h:38, [INFO] [stderr] from /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:26: [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_256': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:340:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 340 | bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_384': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:430:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 430 | bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'instantiate_sha2_512': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:520:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 520 | bool ok = Lib_RandomBuffer_System_randombytes(entropy, min_entropy); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha1': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:608:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 608 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_256': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:689:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 689 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_384': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:770:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 770 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'reseed_sha2_512': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:851:3: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 851 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha1': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:947:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 947 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_256': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:1168:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 1168 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_384': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:1389:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 1389 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c: In function 'generate_sha2_512': [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/src/EverCrypt_DRBG.c:1610:5: warning: 'Lib_RandomBuffer_System_randombytes' is deprecated: random_crypto [-Wdeprecated-declarations] [INFO] [stderr] 1610 | bool ok = Lib_RandomBuffer_System_randombytes(entropy_input, entropy_input_len1); [INFO] [stderr] | ^~~~ [INFO] [stderr] /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/include/Lib_RandomBuffer_System.h:40:13: note: declared here [INFO] [stderr] 40 | extern bool Lib_RandomBuffer_System_randombytes(uint8_t *buf, uint32_t len); [INFO] [stderr] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ [INFO] [stderr] [142/153] Building ASM object CMakeFiles/hacl_static.dir/vale/src/sha256-x86_64-linux.S.o [INFO] [stderr] [143/153] Building ASM object CMakeFiles/hacl_static.dir/vale/src/curve25519-x86_64-linux.S.o [INFO] [stderr] [144/153] Building ASM object CMakeFiles/hacl_static.dir/vale/src/poly1305-x86_64-linux.S.o [INFO] [stderr] [145/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_HKDF.c.o [INFO] [stderr] [146/153] Building ASM object CMakeFiles/hacl_static.dir/vale/src/aesgcm-x86_64-linux.S.o [INFO] [stderr] [147/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_Poly1305.c.o [INFO] [stderr] [148/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_Curve25519_64.c.o [INFO] [stderr] [149/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_Curve64_CP32_SHA256.c.o [INFO] [stderr] [150/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_HPKE_Curve64_CP32_SHA512.c.o [INFO] [stderr] [151/153] Building C object CMakeFiles/hacl_static.dir/src/EverCrypt_AEAD.c.o [INFO] [stderr] [152/153] Building C object CMakeFiles/hacl_static.dir/src/Hacl_K256_ECDSA.c.o [INFO] [stderr] [153/153] Linking C static library libhacl_static.a [INFO] [stderr] -- Install configuration: "Release" [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/lib/libhacl_static.a [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/lib/libhacl.so [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/lib/cmake/hacl/0.6.0/haclConfig.cmake [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/lib/cmake/hacl/0.6.0/haclConfig-release.cmake [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_NaCl.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/lowstar_endianness.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/fstar_uint128_gcc64.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/FStar_UInt128.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/FStar_UInt_8_16_32_64.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/LowStar_Endianness.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Salsa20.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Poly1305_32.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Curve25519_51.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HMAC_DRBG.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HMAC.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Lib_Memzero0.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/lib_intrinsics.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/config.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_IntTypes_Intrinsics.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_IntTypes_Intrinsics_128.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Ed25519.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_EC_Ed25519.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_Base.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Blake2.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_Blake2b_256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/libintvector.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Blake2b_256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_Blake2s_128.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Blake2s_128.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Bignum256_32.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Bignum.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Bignum256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Bignum32.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Bignum4096_32.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Bignum4096.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Bignum64.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_GenericField32.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_GenericField64.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_32.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Poly1305_32.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec32.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_128.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Poly1305_128.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec128.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Poly1305_128.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Poly1305_256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Poly1305_256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Curve25519_64.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/curve25519-inline.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_P256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_K256_ECDSA.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_EC_K256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_FFDHE.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Spec.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_SHA3.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_SHA2_Vec128.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_SHA2_Vec256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_SHA1.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_MD5.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HKDF.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HKDF_Blake2s_128.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HMAC_Blake2s_128.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HKDF_Blake2b_256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HMAC_Blake2b_256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_RSAPSS.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP128_SHA256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP128_SHA512.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP256_SHA256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP256_SHA512.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP32_SHA256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Curve64_CP32_SHA512.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP256_SHA256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP256_SHA512.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_P256_CP256_SHA256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP128_SHA256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP128_SHA512.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP32_SHA256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_Curve51_CP32_SHA512.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_P256_CP128_SHA256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HPKE_P256_CP32_SHA256.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Frodo1344.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Lib_RandomBuffer_System.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Frodo640.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Frodo976.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Frodo64.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_DRBG.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Hash.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Error.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_HMAC.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Ed25519.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Curve25519.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_HKDF.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Cipher.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Chacha20Poly1305.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Poly1305.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_AEAD.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/c_endianness.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/fstar_int.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/callconv.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/debug.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/builtin.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/compat.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/wasmsupport.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/FStar_UInt_8_16_32_64.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/LowStar_Endianness.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/FStar_UInt128_Verified.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/fstar_uint128_gcc64.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/fstar_uint128_msvc.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/FStar_UInt128.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/fstar_uint128_struct_endianness.h [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/vale [INFO] [stderr] -- Installing: /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/vale/Vale.h [INFO] [stderr] cargo:rerun-if-changed=build.rs [INFO] [stderr] cargo:rerun-if-env-changed=TARGET [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-musl [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_musl [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_AEAD.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features-time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdc-predef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/cdefs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/gnu/stubs-64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/locale_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__locale_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/strings.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/locale_t.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/timesize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/typesizes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wchar.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-uintn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-least.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdio.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdarg.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stdarg___gnuc_va_list.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__fpos64_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__mbstate_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_FILE.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/cookie_io_functions_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdio_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn-common.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/long-double.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdlib.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_wchar_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/waitflags.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/waitstatus.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/clock_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/clockid_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/time_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/timer_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdint-intn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/endian.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/endian.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/byteswap.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/uintn-identity.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/select.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/select.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/sigset_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/__sigset_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/time_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_timeval.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/endian.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/time_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/pthreadtypes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/thread-shared-types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/pthreadtypes-arch.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/atomic_wide_counter.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/struct_mutex.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/struct_rwlock.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/alloca.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/stdlib-float.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/floatn.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdint.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/endian.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/fstar_uint128_gcc64.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/FStar_UInt128.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/compat.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/fstar_uint128_gcc64.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdlib.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_ptrdiff_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_wchar_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_max_align_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_offsetof.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdio.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/limits.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/libc-header-start.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/limits.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/posix1_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/wordsize.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/local_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/linux/limits.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/pthread_stack_min-dynamic.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/pthread_stack_min.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/posix2_lim.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/assert.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/time.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/features.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stddef.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_size_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__stddef_null.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/time.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/clock_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/time_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_tm.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/clockid_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/timer_t.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_itimerspec.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/struct_timespec.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/bits/types/locale_t.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/FStar_UInt_8_16_32_64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/compat.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/LowStar_Endianness.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/inttypes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/stdbool.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/compat.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Spec.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Error.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Chacha20Poly1305.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_32.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Poly1305_32.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_256.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Poly1305_256.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/config.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/emmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/mmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/mm_malloc.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/stdlib.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/emmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/tmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/pmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/emmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/smmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/tmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/popcntintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/crc32intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/immintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/x86gprintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/hresetintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/uintrintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/usermsrintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/crc32intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/prfchiintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/raointintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/cmpccxaddintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/mmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/emmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/pmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/tmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/smmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/wmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/emmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__wmmintrin_aes.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/__wmmintrin_pclmul.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/clflushoptintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/clwbintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avxintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx2intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/f16cintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/bmiintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/bmi2intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/lzcntintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/popcntintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/fmaintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512fintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512bwintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512bitalgintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512cdintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vpopcntdqintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vpopcntdqvlintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vnniintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlvnniintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avxvnniintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512dqintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlbitalgintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlbwintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlcdintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vldqintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512erintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512ifmaintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512ifmavlintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avxifmaintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vbmiintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vbmivlintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vbmi2intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlvbmi2intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512pfintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512fp16intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlfp16intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512bf16intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlbf16intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/pkuintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/vpclmulqdqintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/vaesintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/gfniintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avxvnniint8intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avxneconvertintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/sha512intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/sm3intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/sm4intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avxvnniint16intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/rtmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xtestintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/shaintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/fxsrintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xsaveintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xsaveoptintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xsavecintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xsavesintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/cetintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/adcintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/adxintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/rdseedintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/wbnoinvdintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/cldemoteintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/waitpkgintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/movdirintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/pconfigintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/sgxintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/ptwriteintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/invpcidintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/amxfp16intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/keylockerintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/amxintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/amxcomplexintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vp2intersectintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/avx512vlvp2intersectintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/enqcmdintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/serializeintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/tsxldtrkintrin.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec256.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20Poly1305_128.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Poly1305_128.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Chacha20_Vec128.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Curve25519.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Curve25519_64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Curve25519_51.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Ed25519.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Ed25519.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_HKDF.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_HMAC.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Lib_Memzero0.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Hash.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_SHA3.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_Blake2s_128.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Lib_Memzero0.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_Blake2b_256.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Lib_Memzero0.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/libintvector.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_Error.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/EverCrypt_AutoConfig2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Bignum64.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Bignum.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/lib_intrinsics.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/x86_64-linux-gnu/sys/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/config.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/x86intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/ia32intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/immintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/mm3dnow.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/mmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/prfchwintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/prfchwintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/ammintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/pmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/fma4intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/pmmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/xopintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/fma4intrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/tbmintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/lwpintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/mwaitxintrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/clzerointrin.h [INFO] [stderr] cargo:rerun-if-changed=/usr/lib/llvm-18/lib/clang/18/include/rdpruintrin.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HKDF.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HMAC.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HMAC.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HMAC_DRBG.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_HMAC.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_Blake2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_SHA3.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_P256.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/lib_intrinsics.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_RSAPSS.h [INFO] [stderr] cargo:rerun-if-changed=/usr/include/string.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/lowstar_endianness.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/krml/internal/target.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Streaming_Types.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Krmllib.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Hash_SHA2.h [INFO] [stderr] cargo:rerun-if-changed=/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed/include/hacl/Hacl_Spec.h [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] mach_build: false [INFO] [stderr] >>> Copying HACL C file [INFO] [stderr] from /opt/rustwide/workdir/.c [INFO] [stderr] to /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c [INFO] [stderr] >>> Building HACL C in /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c [INFO] [stderr] >>> CMAKE: cd "/opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c" && "cmake" "-B" "build" "-G" "Ninja" "-D" "CMAKE_BUILD_TYPE=Release" [INFO] [stderr] >>> Installing HACL C into /opt/rustwide/target/x86_64-unknown-linux-musl/debug/build/hacl-sys-875c1d3ba2727716/out/c/build/installed [INFO] [stderr] [INFO] [stderr] thread 'main' panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/context.rs:1994:26: [INFO] [stderr] Non floating-type complex? Type(_Complex _Float16, kind: Complex, cconv: 100, decl: Cursor( kind: NoDeclFound, loc: builtin definitions, usr: None), canon: Cursor( kind: NoDeclFound, loc: builtin definitions, usr: None)), Type(_Float16, kind: Float16, cconv: 100, decl: Cursor( kind: NoDeclFound, loc: builtin definitions, usr: None), canon: Cursor( kind: NoDeclFound, loc: builtin definitions, usr: None)) [INFO] [stderr] stack backtrace: [INFO] [stderr] 0: 0x59d1adfbbc02 - std::backtrace_rs::backtrace::libunwind::trace::h7c95ef939f65c294 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stderr] 1: 0x59d1adfbbc02 - std::backtrace_rs::backtrace::trace_unsynchronized::h32c948083968be8c [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stderr] 2: 0x59d1adfbbc02 - std::sys::backtrace::_print_fmt::hbce1ec88d06e088c [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/sys/backtrace.rs:66:9 [INFO] [stderr] 3: 0x59d1adfbbc02 - ::fmt::hb9fc0e74cd3e2ce7 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/sys/backtrace.rs:39:26 [INFO] [stderr] 4: 0x59d1adfe43c3 - core::fmt::rt::Argument::fmt::h6807405d250eb341 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/fmt/rt.rs:173:76 [INFO] [stderr] 5: 0x59d1adfe43c3 - core::fmt::write::h44c4c28224d1d425 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/fmt/mod.rs:1460:25 [INFO] [stderr] 6: 0x59d1adfb8ba3 - std::io::default_write_fmt::h2bbef4d99fdfa1fb [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/io/mod.rs:639:11 [INFO] [stderr] 7: 0x59d1adfb8ba3 - std::io::Write::write_fmt::h7c137d8faa040f47 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/io/mod.rs:1954:13 [INFO] [stderr] 8: 0x59d1adfbba52 - std::sys::backtrace::BacktraceLock::print::hdd765023e0895687 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/sys/backtrace.rs:42:9 [INFO] [stderr] 9: 0x59d1adfbd522 - std::panicking::default_hook::{{closure}}::h3703709d08ff9881 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:300:27 [INFO] [stderr] 10: 0x59d1adfbd325 - std::panicking::default_hook::h52db45a3301fd26f [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:327:9 [INFO] [stderr] 11: 0x59d1adfbdf32 - std::panicking::rust_panic_with_hook::h6c4d7d69d053bb09 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:833:13 [INFO] [stderr] 12: 0x59d1adfbdcca - std::panicking::begin_panic_handler::{{closure}}::h7b56674cf0518b4b [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:706:13 [INFO] [stderr] 13: 0x59d1adfbc0f9 - std::sys::backtrace::__rust_end_short_backtrace::h3266312f35a9262a [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/sys/backtrace.rs:168:18 [INFO] [stderr] 14: 0x59d1adfbd95d - __rustc[f4ffc7196a45a630]::rust_begin_unwind [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:697:5 [INFO] [stderr] 15: 0x59d1adfe2750 - core::panicking::panic_fmt::h42f13c80076c805d [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/panicking.rs:75:14 [INFO] [stderr] 16: 0x59d1ada532ba - bindgen::ir::context::BindgenContext::build_builtin_ty::h8be78afcac49a041 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/context.rs:1994:26 [INFO] [stderr] 17: 0x59d1ada52379 - bindgen::ir::context::BindgenContext::builtin_or_resolved_ty::h3318157c535fe48d [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/context.rs:1891:14 [INFO] [stderr] 18: 0x59d1adb6fdac - bindgen::ir::item::Item::from_ty_or_ref_with_id::hd8f8b05f9aa435ba [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/item.rs:1531:31 [INFO] [stderr] 19: 0x59d1adb6fb2f - bindgen::ir::item::Item::from_ty_or_ref::hd03d1793ab02efe6 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/item.rs:1494:9 [INFO] [stderr] 20: 0x59d1adb64aa3 - bindgen::ir::function::args_from_ty_and_cursor::{{closure}}::hebab0b2aa0740b46 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/function.rs:402:20 [INFO] [stderr] 21: 0x59d1adbd2b2f - core::ops::function::impls:: for &mut F>::call_once::h622bcfa483dee10e [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/ops/function.rs:305:21 [INFO] [stderr] 22: 0x59d1adbd2b2f - core::option::Option::map::h9585ec72915587d8 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/option.rs:1146:29 [INFO] [stderr] 23: 0x59d1adbd2b2f - as core::iter::traits::iterator::Iterator>::next::hc9af25ba9f338953 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/iter/adapters/map.rs:107:26 [INFO] [stderr] 24: 0x59d1ada1eac5 - as alloc::vec::spec_from_iter_nested::SpecFromIterNested>::from_iter::h0581203b53042cc9 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/alloc/src/vec/spec_from_iter_nested.rs:25:41 [INFO] [stderr] 25: 0x59d1ada38c4e - as alloc::vec::spec_from_iter::SpecFromIter>::from_iter::he845e5f4c393713b [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/alloc/src/vec/spec_from_iter.rs:34:9 [INFO] [stderr] 26: 0x59d1ada37356 - as core::iter::traits::collect::FromIterator>::from_iter::h05fcf69a869c9053 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/alloc/src/vec/mod.rs:3470:9 [INFO] [stderr] 27: 0x59d1adbd6b61 - core::iter::traits::iterator::Iterator::collect::h448eae80dec78eb8 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/iter/traits/iterator.rs:2027:9 [INFO] [stderr] 28: 0x59d1adb64773 - bindgen::ir::function::args_from_ty_and_cursor::h0adad7a62ff30101 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/function.rs:404:10 [INFO] [stderr] 29: 0x59d1adb650de - bindgen::ir::function::FunctionSig::from_ty::hffae5a9238e44957 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/function.rs:455:17 [INFO] [stderr] 30: 0x59d1ada81a5d - bindgen::ir::ty::Type::from_clang_ty::hc0efd53c5809cb90 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/ty.rs:1078:37 [INFO] [stderr] 31: 0x59d1adb714dd - bindgen::ir::item::Item::from_ty_with_id::h258b6355df8022b9 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/item.rs:1677:22 [INFO] [stderr] 32: 0x59d1adb70705 - bindgen::ir::item::Item::from_ty::h8c4495767002d4e7 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/item.rs:1570:9 [INFO] [stderr] 33: 0x59d1adb6f1c6 - bindgen::ir::item::Item::parse::h7a160c561fc38e0f [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/item.rs:1423:19 [INFO] [stderr] 34: 0x59d1adb11df4 - bindgen::parse_one::ha125bef4195b3d92 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/lib.rs:1084:11 [INFO] [stderr] 35: 0x59d1adb1248d - bindgen::parse::{{closure}}::{{closure}}::h2daecee4957ad0c6 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/lib.rs:1130:31 [INFO] [stderr] 36: 0x59d1adb010b0 - bindgen::clang::visit_children::ha4756ac5d97d96a9 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/clang.rs:1035:5 [INFO] [stderr] 37: 0x775b311c19d6 - [INFO] [stderr] 38: 0x775b311c1b78 - [INFO] [stderr] 39: 0x775b311c05d9 - [INFO] [stderr] 40: 0x775b311cbfda - clang_visitChildren [INFO] [stderr] 41: 0x59d1add6365e - clang_sys::clang_visitChildren::hab462a668eb61a8f [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/clang-sys-1.8.1/src/link.rs:202:17 [INFO] [stderr] 42: 0x59d1adafdd4b - bindgen::clang::Cursor::visit::h3c0e25197b509d8f [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/clang.rs:495:13 [INFO] [stderr] 43: 0x59d1adb1242d - bindgen::parse::{{closure}}::h8d08b573aaae4c01 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/lib.rs:1130:16 [INFO] [stderr] 44: 0x59d1ada5507a - bindgen::ir::context::BindgenContext::with_module::h9e98ba3732bba997 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/context.rs:2226:9 [INFO] [stderr] 45: 0x59d1adb121aa - bindgen::parse::hb86798962830c93c [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/lib.rs:1129:13 [INFO] [stderr] 46: 0x59d1adb0ec00 - bindgen::Bindings::generate::hfad618277f37aa58 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/lib.rs:882:13 [INFO] [stderr] 47: 0x59d1adb0ca19 - bindgen::Builder::generate::hc59dea0d2cb09320 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/lib.rs:337:9 [INFO] [stderr] 48: 0x59d1ada18140 - build_script_build::create_bindings::hfe72a8e86a2b1d10 [INFO] [stderr] at /opt/rustwide/workdir/build.rs:59:10 [INFO] [stderr] 49: 0x59d1ada1b09a - build_script_build::main::he1f35f80d5fcda64 [INFO] [stderr] at /opt/rustwide/workdir/build.rs:233:5 [INFO] [stderr] 50: 0x59d1ada0fdfb - core::ops::function::FnOnce::call_once::hf3104667bc38acea [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/ops/function.rs:250:5 [INFO] [stderr] 51: 0x59d1ada0fcae - std::sys::backtrace::__rust_begin_short_backtrace::h01b2651e66e6c26e [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/sys/backtrace.rs:152:18 [INFO] [stderr] 52: 0x59d1ada1b991 - std::rt::lang_start::{{closure}}::h923f976f41e04f25 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/rt.rs:206:18 [INFO] [stderr] 53: 0x59d1adfb37c0 - core::ops::function::impls:: for &F>::call_once::h776d28ad5d8e3065 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/ops/function.rs:284:21 [INFO] [stderr] 54: 0x59d1adfb37c0 - std::panicking::catch_unwind::do_call::hc52b7f8762002282 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:589:40 [INFO] [stderr] 55: 0x59d1adfb37c0 - std::panicking::catch_unwind::h65ae6675cb87c293 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:552:19 [INFO] [stderr] 56: 0x59d1adfb37c0 - std::panic::catch_unwind::h4bf88f8de30a831e [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panic.rs:359:14 [INFO] [stderr] 57: 0x59d1adfb37c0 - std::rt::lang_start_internal::{{closure}}::he18cde089aa4ecf1 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/rt.rs:175:24 [INFO] [stderr] 58: 0x59d1adfb37c0 - std::panicking::catch_unwind::do_call::h8d614f4790efaa4f [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:589:40 [INFO] [stderr] 59: 0x59d1adfb37c0 - std::panicking::catch_unwind::he616f21a5745eff4 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:552:19 [INFO] [stderr] 60: 0x59d1adfb37c0 - std::panic::catch_unwind::ha12dd71f2a653c0c [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panic.rs:359:14 [INFO] [stderr] 61: 0x59d1adfb37c0 - std::rt::lang_start_internal::hacfd5a6cee565422 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/rt.rs:171:5 [INFO] [stderr] 62: 0x59d1ada1b977 - std::rt::lang_start::he4265f0e156343d0 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/rt.rs:205:5 [INFO] [stderr] 63: 0x59d1ada1b35e - main [INFO] [stderr] 64: 0x775b32ee91ca - [INFO] [stderr] 65: 0x775b32ee928b - __libc_start_main [INFO] [stderr] 66: 0x59d1ada0ee45 - _start [INFO] [stderr] 67: 0x0 - [INFO] [stderr] [INFO] [stderr] thread 'main' panicked at library/core/src/panicking.rs:225:5: [INFO] [stderr] panic in a function that cannot unwind [INFO] [stderr] stack backtrace: [INFO] [stderr] 0: 0x59d1adfbbc02 - std::backtrace_rs::backtrace::libunwind::trace::h7c95ef939f65c294 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stderr] 1: 0x59d1adfbbc02 - std::backtrace_rs::backtrace::trace_unsynchronized::h32c948083968be8c [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stderr] 2: 0x59d1adfbbc02 - std::sys::backtrace::_print_fmt::hbce1ec88d06e088c [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/sys/backtrace.rs:66:9 [INFO] [stderr] 3: 0x59d1adfbbc02 - ::fmt::hb9fc0e74cd3e2ce7 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/sys/backtrace.rs:39:26 [INFO] [stderr] 4: 0x59d1adfe43c3 - core::fmt::rt::Argument::fmt::h6807405d250eb341 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/fmt/rt.rs:173:76 [INFO] [stderr] 5: 0x59d1adfe43c3 - core::fmt::write::h44c4c28224d1d425 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/fmt/mod.rs:1460:25 [INFO] [stderr] 6: 0x59d1adfb8ba3 - std::io::default_write_fmt::h2bbef4d99fdfa1fb [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/io/mod.rs:639:11 [INFO] [stderr] 7: 0x59d1adfb8ba3 - std::io::Write::write_fmt::h7c137d8faa040f47 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/io/mod.rs:1954:13 [INFO] [stderr] 8: 0x59d1adfbba52 - std::sys::backtrace::BacktraceLock::print::hdd765023e0895687 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/sys/backtrace.rs:42:9 [INFO] [stderr] 9: 0x59d1adfbd522 - std::panicking::default_hook::{{closure}}::h3703709d08ff9881 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:300:27 [INFO] [stderr] 10: 0x59d1adfbd325 - std::panicking::default_hook::h52db45a3301fd26f [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:327:9 [INFO] [stderr] 11: 0x59d1adfbdf32 - std::panicking::rust_panic_with_hook::h6c4d7d69d053bb09 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:833:13 [INFO] [stderr] 12: 0x59d1adfbdc96 - std::panicking::begin_panic_handler::{{closure}}::h7b56674cf0518b4b [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:699:13 [INFO] [stderr] 13: 0x59d1adfbc0f9 - std::sys::backtrace::__rust_end_short_backtrace::h3266312f35a9262a [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/sys/backtrace.rs:168:18 [INFO] [stderr] 14: 0x59d1adfbd95d - __rustc[f4ffc7196a45a630]::rust_begin_unwind [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:697:5 [INFO] [stderr] 15: 0x59d1adfe278d - core::panicking::panic_nounwind_fmt::runtime::h240ee3d646f4644a [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/panicking.rs:117:22 [INFO] [stderr] 16: 0x59d1adfe278d - core::panicking::panic_nounwind_fmt::he107e05089466239 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/intrinsics/mod.rs:2340:9 [INFO] [stderr] 17: 0x59d1adfe2822 - core::panicking::panic_nounwind::h69aa44e7db5971af [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/panicking.rs:225:5 [INFO] [stderr] 18: 0x59d1adfe2981 - core::panicking::panic_cannot_unwind::h00016329eb50537b [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/panicking.rs:330:5 [INFO] [stderr] 19: 0x59d1adb010c9 - bindgen::clang::visit_children::ha4756ac5d97d96a9 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/clang.rs:1024:1 [INFO] [stderr] 20: 0x775b311c19d6 - [INFO] [stderr] 21: 0x775b311c1b78 - [INFO] [stderr] 22: 0x775b311c05d9 - [INFO] [stderr] 23: 0x775b311cbfda - clang_visitChildren [INFO] [stderr] 24: 0x59d1add6365e - clang_sys::clang_visitChildren::hab462a668eb61a8f [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/clang-sys-1.8.1/src/link.rs:202:17 [INFO] [stderr] 25: 0x59d1adafdd4b - bindgen::clang::Cursor::visit::h3c0e25197b509d8f [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/clang.rs:495:13 [INFO] [stderr] 26: 0x59d1adb1242d - bindgen::parse::{{closure}}::h8d08b573aaae4c01 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/lib.rs:1130:16 [INFO] [stderr] 27: 0x59d1ada5507a - bindgen::ir::context::BindgenContext::with_module::h9e98ba3732bba997 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/ir/context.rs:2226:9 [INFO] [stderr] 28: 0x59d1adb121aa - bindgen::parse::hb86798962830c93c [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/lib.rs:1129:13 [INFO] [stderr] 29: 0x59d1adb0ec00 - bindgen::Bindings::generate::hfad618277f37aa58 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/lib.rs:882:13 [INFO] [stderr] 30: 0x59d1adb0ca19 - bindgen::Builder::generate::hc59dea0d2cb09320 [INFO] [stderr] at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/bindgen-0.65.1/lib.rs:337:9 [INFO] [stderr] 31: 0x59d1ada18140 - build_script_build::create_bindings::hfe72a8e86a2b1d10 [INFO] [stderr] at /opt/rustwide/workdir/build.rs:59:10 [INFO] [stderr] 32: 0x59d1ada1b09a - build_script_build::main::he1f35f80d5fcda64 [INFO] [stderr] at /opt/rustwide/workdir/build.rs:233:5 [INFO] [stderr] 33: 0x59d1ada0fdfb - core::ops::function::FnOnce::call_once::hf3104667bc38acea [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/ops/function.rs:250:5 [INFO] [stderr] 34: 0x59d1ada0fcae - std::sys::backtrace::__rust_begin_short_backtrace::h01b2651e66e6c26e [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/sys/backtrace.rs:152:18 [INFO] [stderr] 35: 0x59d1ada1b991 - std::rt::lang_start::{{closure}}::h923f976f41e04f25 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/rt.rs:206:18 [INFO] [stderr] 36: 0x59d1adfb37c0 - core::ops::function::impls:: for &F>::call_once::h776d28ad5d8e3065 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/core/src/ops/function.rs:284:21 [INFO] [stderr] 37: 0x59d1adfb37c0 - std::panicking::catch_unwind::do_call::hc52b7f8762002282 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:589:40 [INFO] [stderr] 38: 0x59d1adfb37c0 - std::panicking::catch_unwind::h65ae6675cb87c293 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:552:19 [INFO] [stderr] 39: 0x59d1adfb37c0 - std::panic::catch_unwind::h4bf88f8de30a831e [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panic.rs:359:14 [INFO] [stderr] 40: 0x59d1adfb37c0 - std::rt::lang_start_internal::{{closure}}::he18cde089aa4ecf1 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/rt.rs:175:24 [INFO] [stderr] 41: 0x59d1adfb37c0 - std::panicking::catch_unwind::do_call::h8d614f4790efaa4f [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:589:40 [INFO] [stderr] 42: 0x59d1adfb37c0 - std::panicking::catch_unwind::he616f21a5745eff4 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panicking.rs:552:19 [INFO] [stderr] 43: 0x59d1adfb37c0 - std::panic::catch_unwind::ha12dd71f2a653c0c [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/panic.rs:359:14 [INFO] [stderr] 44: 0x59d1adfb37c0 - std::rt::lang_start_internal::hacfd5a6cee565422 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/rt.rs:171:5 [INFO] [stderr] 45: 0x59d1ada1b977 - std::rt::lang_start::he4265f0e156343d0 [INFO] [stderr] at /rustc/8de4c7234dd9b97c9d76b58671343fdbbc9a433e/library/std/src/rt.rs:205:5 [INFO] [stderr] 46: 0x59d1ada1b35e - main [INFO] [stderr] 47: 0x775b32ee91ca - [INFO] [stderr] 48: 0x775b32ee928b - __libc_start_main [INFO] [stderr] 49: 0x59d1ada0ee45 - _start [INFO] [stderr] 50: 0x0 - [INFO] [stderr] thread caused non-unwinding panic. aborting. [INFO] running `Command { std: "docker" "inspect" "1194a1ea6603f2a87319ca9809d957afd4ac7a9bdc9c312819dd265997fe2268", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1194a1ea6603f2a87319ca9809d957afd4ac7a9bdc9c312819dd265997fe2268", kill_on_drop: false }` [INFO] [stdout] 1194a1ea6603f2a87319ca9809d957afd4ac7a9bdc9c312819dd265997fe2268