| Attachment #298183 | |||||
|---|---|---|---|---|---|
| prover9 mace4 ebuild | text/plain | 2012-01-07 10:38:34 UTC | 4.49 KB | no flags | Details |
| Attachment #298185 | |||||
|---|---|---|---|---|---|
| makefile patch to use our CFLAGS, build library with -fpic | text/plain | 2012-01-07 10:41:40 UTC | 42.50 KB | no flags | Details |
| Attachment #298187 | |||||
|---|---|---|---|---|---|
| manpages patch (thanks debian) | text/plain | 2012-01-07 10:42:32 UTC | 13.51 KB | no flags | Details |
| Attachment #298189 | |||||
|---|---|---|---|---|---|
| sci-mathematics/prover9 metadata | text/plain | 2012-01-07 10:43:47 UTC | 423 bytes | no flags | Details |