DISTFILES: NuSMV-2.4.3.tar.gz minisat2-070721.zip zchaff.2008.10.12.zip
baggins
baggins at pld-linux.org
Wed Apr 22 13:31:15 CEST 2009
Files fetched: 2
ALREADY GOT: http://nusmv.irst.itc.it/distrib/NuSMV-2.4.3.tar.gz
f9fb88139b388c6ba8d31b0ad1ce5254 NuSMV-2.4.3.tar.gz
STORED: http://minisat.se/downloads/minisat2-070721.zip
fb12db9a13f86a2133758abfba239546 minisat2-070721.zip
Size: 48776 bytes
STORED: http://www.princeton.edu/~chaff/zchaff/zchaff.2008.10.12.zip
7398b3e984a5046755cb3ef6b0e44d2e zchaff.2008.10.12.zip
Size: 63257 bytes
--
Virtually Yours: distfiles.
More information about the pld-cvs-commit
mailing list