Ohad Livne ca7c6be4fe Support installing a specific project release		2026-02-10 18:59:17 +02:00
..
bin	Support installing a specific project release	2026-02-10 18:59:17 +02:00
share	Install the F* toolchain	2026-02-10 12:10:10 +02:00