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. _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
