coq/test-suite/bugs/opened/2652a.v-disabled, branch master The formal proof system Add a bunch of reproduction files for bugs. 2014-09-30T08:39:45+00:00 Xavier Clerc 2014-09-30T08:39:45+00:00 0a0ea63772386f101ddd607d84b1c4534b5eb0cd