../ fricas-dbg_1.3.12-0~pre20250802T064004Z_loongar..> 02-Aug-2025 08:15 2M fricas-dbg_1.3.12-0~pre20250802T064004Z_loongso..> 02-Aug-2025 09:16 2M fricas-dbg_1.3.12-0~pre20250803T140952Z_loongso..> 03-Aug-2025 16:24 2M fricas_1.3.12-0~pre20250802T064004Z_loongarch64..> 02-Aug-2025 08:15 17M fricas_1.3.12-0~pre20250802T064004Z_loongson3.deb 02-Aug-2025 09:16 17M fricas_1.3.12-0~pre20250803T140952Z_loongson3.deb 03-Aug-2025 16:25 17M