Ohad Livne 7f99eca6c3 Use Rust via the rustup toolchain		2026-02-28 09:43:51 +02:00
..
bin	Use Rust via the rustup toolchain	2026-02-28 09:43:51 +02:00
share	Install the F* toolchain	2026-02-28 09:43:49 +02:00