coq/test-suite/bugs/opened/bug_2572.v-disabled, branch master The formal proof system rename test files (do not start by a digit) 2018-10-04T08:01:34+00:00 Vincent Laporte 2018-10-02T13:44:46+00:00 db22ae6140259dd065fdd80af4cb3c3bab41c184