Name                                              Last modified      Size  
 Parent Directory                                                       -   
 spiceds.cat                                       2025-07-24 13:42   45K  
 spice_inst.cat                                    2013-02-27 19:42  1.4K  
 spice_hsk.cat                                     2019-12-18 11:04  2.3K  
 release.cat                                       2025-07-24 13:42   30K  
 ref.cat                                           2013-02-27 19:48  2.4K  
 person.cat                                        2023-03-09 10:43  5.2K  
 mission.cat                                       2015-07-29 14:15   16K  
 insthost.cat                                      2013-02-27 19:42   22K  
 catinfo.txt                                       2013-02-27 19:42  1.9K