/math/cvc4/

	Commit message (Expand)	Author	Age	Files	Lines
*	- Remove duplicates from MAKE_ENV after inclusion of CC and CXX in default MA...	pav	2008-07-25	1	-1/+1
*	- Fix permissions on directories	tabthorpe	2008-05-20	2	-8/+26
*	- Chase devel/sdl12 shlib version bump	miwi	2008-03-13	1	-1/+1
*	- Welcome X.org 7.2 \o/.	flz	2007-05-20	1	-1/+1
*	- Update distinfo to use -full tarball. Upstream no longer distributes the	alexbl	2006-10-03	3	-14/+5
*	- Update devel/sdl12 to version 1.2.11. Now we employ stock SDL directory	stas	2006-09-20