| Commit message (Collapse) | Author | Age |
... | |
| |
|
| |
|
|
|
|
|
|
| |
This will cancel out the timing increase of adding v8.5, v8.6.
I've never seen 8.5 and 8.5pl3 succeed, while either 8.5pl1, or 8.5pl2 failed
|
|
|
|
| |
Allow them to fail, though
|
| |
|
|
|
| |
Each version of 8.4 takes around 17 minutes to complete. I've yet to see anything that behaves differently among 8.4{,pl1,pl2,pl3,pl4}, or among 8.4pl{5,6}. So if we keep 8.4pl3 (the version of Coq distributed in debian trusty), and 8.4pl6, we should capture the range of behaviors, and save about an hour-and-a-quarter per test.
|
| |
|
|
|
| |
See #23
|
| |
|
|
|
|
|
| |
Because I can't figure out how to package coq so that coq depends on
libcoq-ocaml automatically.
|
| |
|
|
|
|
|
| |
Now that I've finally managed to get packages built for both of these
versions of Coq on my ppa...
|
|
|
|
| |
Instructions for 8.4 build in the README
|
| |
|
|
|