-
POTTIER Francois authored
which would cause an incompatibility with Coq > 8.8.1. (Reported and corrected by Michael Soegtrop.)
9e4b304b
To find the state of this project's repository at the time of any of these versions, check out the tags.
which would cause an incompatibility with Coq > 8.8.1. (Reported and corrected by Michael Soegtrop.)