Index of /debian-ports/pool-hurd-i386/main/r/regina-normal/


../
regina-normal-dbgsym_5.1-6+b1_hurd-i386.deb        17-Nov-2018 16:30           195165876
regina-normal-dev_5.1-6+b1_hurd-i386.deb           17-Nov-2018 16:30              585568
regina-normal-mpi-dbgsym_5.1-6+b1_hurd-i386.deb    17-Nov-2018 16:30              630464
regina-normal-mpi_5.1-6+b1_hurd-i386.deb           17-Nov-2018 16:30              150588
regina-normal_5.1-6+b1_hurd-i386.buildinfo         17-Nov-2018 15:01               14510
regina-normal_5.1-6+b1_hurd-i386.deb               17-Nov-2018 16:30            14227456