Name                                              Last modified      Size  
 Parent Directory                                                       -   
 catinfo.txt                                       08-Jun-2007 11:45  1.9K  
 insthost.cat                                      21-May-2008 07:33   21K  
 mission.cat                                       04-Dec-2009 13:43   26K  
 person.cat                                        05-Jun-2009 11:10  2.7K  
 ref.cat                                           08-Jun-2007 11:45  339   
 release.cat                                       24-Nov-2020 11:05   47K  
 spice_hsk.cat                                     18-Dec-2019 11:04  2.4K  
 spice_inst.cat                                    08-Jun-2007 11:45  1.4K  
 spiceds.cat                                       24-Nov-2020 11:05   24K