/java/jdk14/

	Commit message (Expand)	Author	Age	Files	Lines
*	math/cryptominisat and math/py-cryptominisat to 5.6.8.	arrowd	2019-02-24	3	-12/+13
*	Bump PORTREVISION for ports depending on the canonical version of GCC	gerald	2018-12-12	1	-0/+1
*	math/cryptominisat: Update to 5.6.3.	arrowd	2018-08-10	2	-5/+4
*	Bump PORTREVISION for ports depending on the canonical version of GCC	gerald	2018-07-30	1	-0/+1
*	math/cryptominisat and math/py-cryptominisat: Update to 5.6.1.	arrowd	2018-06-18	3	-36/+31
*	Bump PORTREVISION for ports depending on the canonical version of GCC	gerald	2017-09-11	1	-1/+1