freebsd-ports/math/py-cryptominisat
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
distinfo
Makefile
pkg-descr