Gleb Popov 2787ef7869 math/cryptominisat and math/py-cryptominisat: Update to 5.6.1. ...

Reviewed by:	mat
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D15735

2018-06-17 20:36:22 +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 and math/py-cryptominisat: Update to 5.6.1.

2018-06-17 20:36:22 +00:00

Makefile

math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.

2018-06-17 20:36:22 +00:00

pkg-descr

…