../ regina-normal-dbgsym_7.3-2_ia64.deb 05-May-2023 00:03 384M regina-normal-dev_7.3-2_ia64.deb 05-May-2023 00:03 811K regina-normal_7.3-2_ia64.buildinfo 05-May-2023 00:03 13K regina-normal_7.3-2_ia64.deb 05-May-2023 00:03 17M