2 commits

Author	SHA1	Message	Date
Ohad Livne	c9c788efe3	Correctly update executable links	2026-04-20 00:24:03 +03:00
Ohad Livne	9f10158f6d	Install the F* toolchain	2026-02-28 09:43:49 +02:00