diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-05-20 10:50:20 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-05-20 10:50:20 +0100 |
commit | b688e8bbf82e694cf62c11a117b67706d39f8459 (patch) | |
tree | 0e443cb2b7b11f15690ddf0ddb44cfbd6fc9fac7 /dune | |
parent | ebcba2714fdba588fb31c5a5307a8f21b39e0ac5 (diff) | |
download | vericert-b688e8bbf82e694cf62c11a117b67706d39f8459.tar.gz vericert-b688e8bbf82e694cf62c11a117b67706d39f8459.zip |
Update coq version to 11
Diffstat (limited to 'dune')
0 files changed, 0 insertions, 0 deletions