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                                       26-Nov-2019 14:30   44K  
 spice_hsk.cat                                     19-Apr-2016 16:22  2.3K  
 spice_inst.cat                                    08-Jun-2007 11:45  1.4K  
 spiceds.cat                                       26-Nov-2019 14:30   23K