The undertaker rpms
Also: - Drop upstreamed -boost_mt patch - Build with -D_FILE_OFFSET_BITS=64 - Fix license handling |
||
|---|---|---|
| .gitignore | ||
| sources | ||
| undertaker-picosat.patch | ||
| undertaker.spec | ||
Also: - Drop upstreamed -boost_mt patch - Build with -D_FILE_OFFSET_BITS=64 - Fix license handling |
||
|---|---|---|
| .gitignore | ||
| sources | ||
| undertaker-picosat.patch | ||
| undertaker.spec | ||