Directory listing for /target/x86_64-pc-windows-gnu/debug/build/libcrux-sha3-0e7424706efbd1fb/out/