Name                                            Last modified      Size  
 Parent Directory                                                     -   
 catinfo.txt                                     2006-03-03 08:44  1.6K  
 mission.cat                                     2006-03-03 08:44   43K  
 spice_inst.cat                                  2006-12-21 11:04  2.7K  
 person.cat                                      2009-07-29 14:11  2.7K  
 ref.cat                                         2009-07-29 14:11  6.0K  
 1867g1.cat                                      2009-11-09 16:01  1.9K  
 dif.cat                                         2009-11-09 16:01   10K  
 dii.cat                                         2009-11-09 16:01  8.9K  
 release.cat                                     2011-09-09 10:15  4.6K  
 spice_hsk.cat                                   2019-12-18 11:03  2.4K  
 spiceds.cat                                     2021-04-13 09:37   37K