Name                                                Last modified      Size  
 Parent Directory                                                         -   
 spiceds.cat                                         2021-04-13 09:38   17K  
 spice_inst.cat                                      2012-11-02 11:37  2.6K  
 spice_hsk.cat                                       2019-12-18 11:03  2.3K  
 release.cat                                         2014-12-12 10:29  2.5K  
 ref.cat                                             2014-12-12 10:29   12K  
 person.cat                                          2012-11-02 11:37  2.7K  
 mission.cat                                         2014-12-12 10:29   15K  
 insthost_b.cat                                      2014-12-12 10:29   15K  
 insthost_a.cat                                      2014-12-12 10:29   15K  
 catinfo.txt                                         2014-12-12 10:29  2.0K