2 commits

Author	SHA1	Message	Date
Ohad Livne	48d960878d	Correctly update executable links	2026-04-06 21:45:55 +03:00
Ohad Livne	9f10158f6d	Install the F* toolchain	2026-02-28 09:43:49 +02:00