########################################################################## ## # The Coq Proof Assistant / The Coq Development Team ## ## v # INRIA, CNRS and contributors - Copyright 1999-2018 ## ## &2; false; fi .PHONY: md5chk # For emacs: # Local Variables: # mode: makefile # End: