Ohad Livne 049c8854a0 Use Rust via the rustup toolchain		2026-02-10 12:10:11 +02:00
..
bin	Use Rust via the rustup toolchain	2026-02-10 12:10:11 +02:00
share	Install the F* toolchain	2026-02-10 12:10:10 +02:00