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:
The files can be deleted as long as there is a current version of VeriMove installed and successfully running.

UPDATED:  November 9, 2017