Files fetched: 1 STORED: http://nusmv.irst.itc.it/distrib/NuSMV-2.4.0.tar.gz cd1328fc70e9f48d2c4a96c0b8eb5a28 NuSMV-2.4.0.tar.gz Size: 2974993 bytes
-- Virtually Yours: distfiles. _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
