Skip to content

Simplify Makefiles after F* changes #2113

Simplify Makefiles after F* changes

Simplify Makefiles after F* changes #2113