DISTFILES: cvc3: cvc3-2.4.1.tar.gz

baggins baggins at pld-linux.org
Thu May 16 13:00:49 CEST 2013

Previous message: [packages/cvc3] - new
Next message: [packages/z3] Created branch master
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Files fetched: 1

STORED: http://www.cs.nyu.edu/acsys/cvc3/download/2.4.1/cvc3-2.4.1.tar.gz
	9b082b0e8c80e1459e9653de044e0d6e  cvc3-2.4.1.tar.gz
	Size: 1196616 bytes


-- 
Virtually Yours: distfiles.

Previous message: [packages/cvc3] - new
Next message: [packages/z3] Created branch master
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list