diff options
author | 2016-08-25 13:53:00 +0200 | |
---|---|---|
committer | 2016-08-25 13:53:00 +0200 | |
commit | 7244637f251272c0d0155d49fc7c1af255b7cef8 (patch) | |
tree | ccf85464c363b5c19929130dbbd9d6717c827c61 /tools/update-require | |
parent | dd4654ce6f1808cc19c701219b4bad120b7f2271 (diff) |
FIX: Coq version
Diffstat (limited to 'tools/update-require')
0 files changed, 0 insertions, 0 deletions