How to determine if files such as "libgcc_s.a" and "nlk/lib/libgcc_s.a.6" are obsolete in VeriMove

Operating System: Unix
Products Affected:  Verimove





 
The following files are from a 2007 version of VeriMove and are considered obsolete:
 
/usr/g1/verimove/nlk/lib/COPYING.LIB 
/usr/g1/verimove/nlk/lib/libgcc_s.a 
/usr/g1/verimove/nlk/lib/libgcc_s.a.6 
/usr/g1/verimove/nlk/lib/libstdc++.a 
/usr/g1/verimove/nlk/lib/libstdc++.a.6
 
The files can be deleted as long as there is a current version of VeriMove installed and successfully running.

 
UPDATED:  November 9, 2017