diff options
author | Jason Gross <jgross@mit.edu> | 2018-04-29 15:09:17 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-05-02 15:39:01 -0400 |
commit | 6a6a03fac7117e1c1e1923cddeb7c19f867c6f3a (patch) | |
tree | deaaac5767b243015f763ef57fcab42f4bbf7ef8 /CONTRIBUTORS | |
parent | d967cb64c72f09dec37187a704fc39fb1bb60687 (diff) |
Bump versions of Coq we test on travis
Now we test master, v8.8.dev, v8.7.dev, 8.8.0, and 8.7.2, instead of master,
v8.7.dev, and 8.7.1.
Diffstat (limited to 'CONTRIBUTORS')
0 files changed, 0 insertions, 0 deletions