Gleb Popov 19006ddb57 math/cryptominisat: Update to 5.6.3. ... Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D16645		2018-08-10 09:24:41 +00:00
..
files	math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.	2018-06-17 20:36:22 +00:00
distinfo	math/cryptominisat: Update to 5.6.3.	2018-08-10 09:24:41 +00:00
Makefile	math/cryptominisat: Update to 5.6.3.	2018-08-10 09:24:41 +00:00
pkg-descr