.PHONY: hoare

hoare: coq

include ../common.mk

clean: clean-coq
