DISTFILES: NuSMV: NuSMV-2.5.0.tar.gz minisat2-070721.zip zchaff.2008.10.12.zip

baggins baggins at pld-linux.org
Tue May 18 12:46:21 CEST 2010


Files fetched: 1

STORED: http://nusmv.irst.itc.it/distrib/NuSMV-2.5.0.tar.gz
	904c06c57d3882bc5a10f09ca0ba9a06  NuSMV-2.5.0.tar.gz
	Size: 3792968 bytes
ALREADY GOT: http://minisat.se/downloads/minisat2-070721.zip
	fb12db9a13f86a2133758abfba239546  minisat2-070721.zip
ALREADY GOT: http://www.princeton.edu/~chaff/zchaff/zchaff.2008.10.12.zip
	7398b3e984a5046755cb3ef6b0e44d2e  zchaff.2008.10.12.zip


-- 
Virtually Yours: distfiles.


More information about the pld-cvs-commit mailing list