diff options
author | 2016-12-29 08:59:12 +0100 | |
---|---|---|
committer | 2016-12-29 08:59:12 +0100 | |
commit | 56e5876c2ad8909f5abccfba1ef8484908b70a30 (patch) | |
tree | f2e105178bc3cddc0752f9349c5ac5e549ce01ba /test-suite/bugs/closed/HoTT_coq_091.v | |
parent | 4409e85b91fa86750f83042c329ec8cf6320d7c7 (diff) |
fix FTBFS on mipsdebian/8.6-3
Diffstat (limited to 'test-suite/bugs/closed/HoTT_coq_091.v')
0 files changed, 0 insertions, 0 deletions