Name                    Last modified      Size  
 Parent Directory                             -   
 dsindex.lbl             2013-01-15 09:22  4.0K  
 dsindex.tab             2013-01-15 09:22   27K  
 insthost.cat            2013-01-15 09:22   23K  
 mission.cat             2013-01-15 09:22   85K  
 ref.cat                 2013-01-15 09:22  4.8K  
 release.cat             2013-01-15 09:22  1.6K  
 spice_hsk.cat           2019-12-18 11:04  2.8K  
 spice_inst.cat          2013-01-15 09:22  9.4K  
 spiceds.cat             2013-01-24 11:21   15K  
 vexsp_1000/             2013-01-15 09:23    -