Gleb Popov a2f89c90f5 math/cryptominisat and math/py-cryptominisat to 5.6.8. ... Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D19302		2019-02-23 16:31:47 +00:00
..
distinfo	math/cryptominisat and math/py-cryptominisat to 5.6.8.	2019-02-23 16:31:47 +00:00
Makefile	math/cryptominisat and math/py-cryptominisat to 5.6.8.	2019-02-23 16:31:47 +00:00
pkg-descr
pkg-plist	math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.	2018-06-17 20:36:22 +00:00