Carlos J. Puga Medina 6d46f34aa3 - Update math/cryptominisat and math/py-cryptominisat to 5.0.0 ... PR: 211460 Submitted by: maintainer Reviewed by: koobs, feld (mentor) Approved by: feld (mentor)		2016-09-01 13:25:49 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist