Ohad Livne 4159e4d73d Support installing a specific project release		2026-02-28 09:43:55 +02:00
..
bin	Support installing a specific project release	2026-02-28 09:43:55 +02:00
share	Install the F* toolchain	2026-02-28 09:43:49 +02:00