f0d8efcc0f
- now depends on boost and minisat - ships with a shared library and a python3 module - new cmake build system - set COMPILER = gcc, a c++11 compiler is needed (but there's a link problem against boost with lang/gcc on amd64)
3 lines
107 B
Plaintext
3 lines
107 B
Plaintext
SHA256 (stp-2.2.0.tar.gz) = 8OPSWgZV0ozN3AcF4TMOBSPdjpO4cXtlTg3mGBrYWpc=
|
|
SIZE (stp-2.2.0.tar.gz) = 2643130
|