Skip to content

Simplify Makefiles after F* changes #2101

Simplify Makefiles after F* changes

Simplify Makefiles after F* changes #2101