d7d6ed1300
Built with cmake, installs minisat libraries (needed for a devel/stp update). Discussed with jasper@ at t2k17.
3 lines
149 B
Plaintext
3 lines
149 B
Plaintext
SHA256 (minisat-2.2.0.20170810-37dc6c67.tar.gz) = PbBbAvkcSwl7eWLlIyJapeb6mmwNQnBKFwsBsGnN/P4=
|
|
SIZE (minisat-2.2.0.20170810-37dc6c67.tar.gz) = 49544
|