/debian/pool/main/r/regina-normal/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
regina-normal-doc_7.3-2_all.deb	74823508	2026-Jan-06 21:41
regina-normal_7.3-2_amd64.deb	16734696	2026-Jan-06 21:41
regina-normal-dev_7.3-2_amd64.deb	830256	2026-Jan-06 21:41