| Name : nusmv-devel
| |
| Version : 2.4.3
| Vendor : (none)
|
| Release : 1.el5
| Date : 2009-01-31 00:04:37
|
| Group : Development/Libraries
| Source RPM : nusmv-2.4.3-1.el5.src.rpm
|
| Size : 3.74 MB
| |
| Packager : Aleksey Nogin < rpm_nogin_org>
| |
| Summary : Development files for NuSMV
|
Description :
Development files (headers and libraries) for NuSMV: a new symbolic model checker
|
RPM found in directory: /packages/linux-pbone/rpmbin.nogin.org/random_RPMs/RHEL-5 |
