Package: coq-elpi / 2.5.0-1.1
Metadata
| Package | Version | Patches format |
|---|---|---|
| coq-elpi | 2.5.0-1.1 | 3.0 (quilt) |
Patch series
view the series file| Patch | File delta | Description |
|---|---|---|
| 0001 Increase timeout in test that takes a bit longer on .patch | (download) |
tests-stdlib/test_API_env.v |
2 1 + 1 - 0 ! |
increase a test timeout |
1