id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
202	installation from source	Stephen Siegel		"Can someone summarize for me how to
a. install gmp, 64 bit version.  Which version do I need?
b. install cvc3 with java interface
maybe we can also put this info in the README."	task	new	major	Release 1.0	Administration	1.0