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
..
files	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
pkg-plist