Name                                                    Last modified      Size  
 Parent Directory                                                             -   
 catinfo.txt                                             2008-07-02 17:25  1.5K  
 insthost.cat                                            2015-06-01 17:57   25K  
 mission.cat                                             2017-05-09 15:26   26K  
 person.cat                                              2013-12-31 10:30  7.2K  
 ref.cat                                                 2017-05-09 15:26  199K  
 release.cat                                             2017-03-27 09:27   13K  
 spice_hsk.cat                                           2019-12-18 11:04  2.3K  
 spice_inst.cat                                          2008-07-02 17:25  1.4K  
 spiceds.cat                                             2021-04-14 09:28   24K