Name                                              Last modified      Size  
 Parent Directory                                                       -   
 release.cat                                       2009-11-30 14:11  907   
 spice_inst.cat                                    2009-11-30 14:11  1.4K  
 catinfo.txt                                       2009-11-30 14:11  1.5K  
 spice_hsk.cat                                     2019-12-18 11:03  2.2K  
 person.cat                                        2009-11-30 14:11  2.7K  
 ref.cat                                           2010-07-20 14:21  7.5K  
 insthost.cat                                      2010-07-16 17:27   10K  
 spiceds.cat                                       2021-04-13 19:54   23K  
 mission.cat                                       2010-07-20 14:21   38K