Replace coq_makefile with Makefile.composed#2330

andres-erbsen wants to merge 3 commits into

mit-plv:mastermit-plv/fiat-crypto:masterfrom

andres-erbsen:replace-coq-makefileandres-erbsen/fiat-crypto:replace-coq-makefileCopy head branch name to clipboard