DISTFILES: NuSMV-2.4.0.tar.gz

baggins baggins at pld-linux.org
Tue Oct 3 18:36:17 CEST 2006

Previous message: SPECS: NuSMV.spec - pl
Next message: SOURCES: NuSMV-build.patch (NEW) - fix build/install problems
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Previous message: SPECS: NuSMV.spec - pl
Next message: SOURCES: NuSMV-build.patch (NEW) - fix build/install problems
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pld-cvs-commit mailing list