Index of /ubuntu/pool/universe/r/regina-normal/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
regina-normal-dev_7.0-2build1_amd64.deb 6849642022-Jan-14 12:54
regina-normal-doc_7.0-2build1_all.deb 740905002022-Jan-14 12:54
regina-normal_7.0-2build1_amd64.deb 150347142022-Jan-14 12:54