nasalib 6.0.5

NASA Langley has a collection of PVS-related libraries, strategies, and packages. You must first install PVS to take advantage of this collection.

This is a large package. I no longer have room on this web server to store the entire source RPM. Therefore, you have to assemble it yourself from the pieces below.


Download the sources listed in the spec file. If you have rpmdevtools installed, /usr/bin/spectool will do the job for you.



Back to the RPMS

Last modified: Wed Aug 14 09:48:20 MDT 2013 by Jerry James