Split off reals into package coq-fourcolor-reals that is a dependency of coq-fourcolor #954
| Job | Run time |
|---|---|
| 16m 26s | |
| 34m 17s | |
| 16m 17s | |
| 15m 59s | |
| 16m 45s | |
| 15m 52s | |
| 15m 58s | |
| 2h 11m 34s |
| Job | Run time |
|---|---|
| 16m 26s | |
| 34m 17s | |
| 16m 17s | |
| 15m 59s | |
| 16m 45s | |
| 15m 52s | |
| 15m 58s | |
| 2h 11m 34s |