Name                                               Last modified      Size  
 Parent Directory                                                        -   
 spiceds.cat                                        2021-04-13 09:35   21K  
 spice_inst.cat                                     2007-06-13 12:44  1.4K  
 spice_hsk.cat                                      2019-12-18 11:03  2.3K  
 release.cat                                        2009-07-29 12:59  1.1K  
 ref.cat                                            2009-07-29 14:23  3.8K  
 person.cat                                         2009-07-29 12:59  2.7K  
 mission.cat                                        2007-06-13 12:44   22K  
 insthost.cat                                       2009-07-29 14:23   15K  
 catinfo.txt                                        2007-06-13 12:44  1.5K