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
..
patch-setup.py.in	- Update math/cryptominisat and math/py-cryptominisat to 5.0.0	2016-09-01 13:25:49 +00:00