Name                                             Last modified      Size  
 Parent Directory                                                      -   
 spiceds.cat                                      2021-04-13 09:44   25K  
 spice_inst.cat                                   2012-01-13 10:48  1.4K  
 spice_hsk.cat                                    2019-12-18 11:04  2.5K  
 release.cat                                      2012-01-13 10:48  6.4K  
 ref.cat                                          2012-02-06 17:54   12K  
 person.cat                                       2009-07-29 18:06  2.7K  
 next.cat                                         2012-02-06 17:54   18K  
 mission.cat                                      2012-02-06 17:54   18K  
 insthost.cat                                     2012-01-13 10:48  8.2K  
 catinfo.txt                                      2011-08-11 17:54  1.8K  
 5535.cat                                         2012-01-13 10:48  810   
 1978a2.cat                                       2012-01-13 10:48  846   
 1867g1.cat                                       2012-01-13 10:48  875