Index of /~bab/regina/disco

 Name                                            Last modified      Size  Description
 Parent Directory                                                     -   
 regina-normal_5.1.orig.tar.gz                   2019-08-29 19:12   26M  
 regina-normal-doc_5.1-6ubuntu1~disco1_all.deb   2019-08-29 20:04   14M  
 regina-normal_5.1-6ubuntu1~disco1_amd64.deb     2019-08-29 20:03   13M  
 regina-normal-dev_5.1-6ubuntu1~disco1_amd64.deb 2019-08-29 20:03  572K  
 regina-normal-mpi_5.1-6ubuntu1~disco1_amd64.deb 2019-08-29 20:03  149K  
 regina-normal_5.1-6ubuntu1~disco1.debian.tar.xz 2019-08-29 19:13   12K  
 Packages                                        2019-08-30 07:44  6.3K  
 regina-normal_5.1-6ubuntu1~disco1_amd64.changes 2019-08-30 07:39  4.7K  
 Packages.bz2                                    2019-08-30 07:44  2.5K  
 Packages.gz                                     2019-08-30 07:44  2.4K  
 regina-normal_5.1-6ubuntu1~disco1.dsc           2019-08-30 07:39  2.3K  
 Sources                                         2019-08-30 07:44  2.3K  
 Release                                         2019-08-30 07:44  1.5K  
 Sources.bz2                                     2019-08-30 07:44  1.2K  
 Sources.gz                                      2019-08-30 07:44  1.1K  
 Release.gpg                                     2019-08-30 08:34  833