Gleb Popov 11026f3b38 math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was affected by this issue.		2020-03-04 18:03:42 +00:00
..
distinfo
Makefile	math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was affected by this issue.	2020-03-04 18:03:42 +00:00
pkg-descr	math/stp: Update WWW in pkg-descr.	2019-08-01 09:52:08 +00:00
pkg-plist