Package: coq / 8.4pl4dfsg-1
Metadata
Package | Version | Patches format |
---|---|---|
coq | 8.4pl4dfsg-1 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
0001 test suite success Nsatz.v comment out Ceva.patch | (download) |
test-suite/success/Nsatz.v |
2 2 + 0 - 0 ! |
test-suite/success/nsatz.v: comment out ceva This lemma uses too much memory for many buildds... |
0002 Disable micromega tests on Hurd.patch | (download) |
test-suite/Makefile |
4 4 + 0 - 0 ! |
disable micromega tests on hurd They exert lockf, which is not implemented on Hurd. |
1