diff options
| author | Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 15:18:48 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 15:31:17 +0100 |
| commit | c514b1e62302bb674075cd32a412ed47a57cbb5b (patch) | |
| tree | 638ad6aac8d972119abe663e2033c8b3d86a55ed /flocq | |
| parent | 88bf09d3673dbda96c216a3e037d503a9664795e (diff) | |
| download | compcert-kvx-c514b1e62302bb674075cd32a412ed47a57cbb5b.tar.gz compcert-kvx-c514b1e62302bb674075cd32a412ed47a57cbb5b.zip | |
Bump required version of Menhir to 20161201.
Menhir's Coq backend has been updated to support Coq 8.6.
Diffstat (limited to 'flocq')
0 files changed, 0 insertions, 0 deletions