/home/rui/Apps/pvtcoms/target/release/build/libcrux-intrinsics-1c36398f5066281d/build_script_build-1c36398f5066281d.d: /home/rui/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-intrinsics-0.0.7/build.rs

/home/rui/Apps/pvtcoms/target/release/build/libcrux-intrinsics-1c36398f5066281d/build_script_build-1c36398f5066281d: /home/rui/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-intrinsics-0.0.7/build.rs

/home/rui/.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/libcrux-intrinsics-0.0.7/build.rs: