| Attachment #30177 | |||||
|---|---|---|---|---|---|
| mace4-2003b.ebuild | text/plain | 2004-04-27 14:20:12 UTC | 1.54 KB | no flags | Details |
| Attachment #30178 | |||||
|---|---|---|---|---|---|
| gentoo-mace4.patch | patch | 2004-04-27 14:21:42 UTC | 1.13 KB | no flags | Details |
| 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 |