diff options
author | Jason Gross <jagro@google.com> | 2016-07-26 12:22:51 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-07-26 12:23:30 -0700 |
commit | 9b705fd8e7cffc81b386cd3a34e3b050a8d3d637 (patch) | |
tree | f6cdf1e12993d1ba7fe1aecb1479d55f33fdefea /src/Experiments/SpecEd25519.v | |
parent | a8836bda7dc57933098fe5d513a52221591252b0 (diff) |
Fix 8.6 build
Terrible, horrible, no good, very bad bugs in Coq.
https://coq.inria.fr/bugs/show_bug.cgi?id=4966
Diffstat (limited to 'src/Experiments/SpecEd25519.v')
0 files changed, 0 insertions, 0 deletions