Name                                                Last modified      Size  
 Parent Directory                                                         -   
 spiceds.cat                                         2021-04-13 09:37   24K  
 spice_inst.cat                                      2006-03-07 10:12  1.4K  
 spice_hsk.cat                                       2019-12-18 11:03  2.4K  
 release.cat                                         2013-01-08 13:35  2.0K  
 ref.cat                                             2009-07-29 14:57  625   
 person.cat                                          2009-07-29 14:57  2.7K  
 mission.cat                                         2006-03-07 10:12   15K  
 insthost.cat                                        2006-03-07 10:12   12K  
 catinfo.txt                                         2006-03-07 10:12  1.7K  
 braille.cat                                         2009-07-29 14:57  630   
 borrelly.cat                                        2009-07-29 14:57  590