diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 10:05:36 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 10:05:36 +0200 |
| commit | 7c2962e121c156c5c2b7b89f09dce559c8b616aa (patch) | |
| tree | 384f004db52d36e43762939c2cdbd4aec4744934 /test/monniaux/yarpgen | |
| parent | 14ce1b03c104e4e886b1e29198381e69772cadf9 (diff) | |
| download | compcert-kvx-7c2962e121c156c5c2b7b89f09dce559c8b616aa.tar.gz compcert-kvx-7c2962e121c156c5c2b7b89f09dce559c8b616aa.zip | |
try to get gitlab-CI to use Coq 8.11.2 not 8.12
Diffstat (limited to 'test/monniaux/yarpgen')
0 files changed, 0 insertions, 0 deletions