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.

SOURCES

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

SPECS

nasalib.spec

Back to the RPMS


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