/science/cdcl/

	Commit message (Expand)	Author	Age	Files	Lines
*	devel/boost-*: update to 1.70.0	jbeich	2019-04-12	1	-0/+1
*	- Update to 3.5.4	amdmi3	2019-01-17	2	-4/+4
*	- Update to 3.5.3	amdmi3	2019-01-13	2	-4/+4
*	- Update to 3.5.2	amdmi3	2019-01-08	2	-4/+5
*	- Update to 3.5.1	amdmi3	2019-01-06	2	-5/+9
*	Change cmake default behaviour to outsource.	tcberner	2018-12-26	1	-1/+1
*	Bump PORTREVISION for ports depending on the canonical version of GCC	gerald	2018-12-12	1	-0/+1
*	- Update to 3.4.1	amdmi3	2018-11-17	2	-4/+4
*	- Update to 3.4.0	amdmi3	2018-11-03