../ fricas-dbgsym_1.3.10-2_m68k.deb 10-Apr-2024 12:03 4942240 fricas-graphics-dbgsym_1.3.10-2_m68k.deb 10-Apr-2024 12:03 386044 fricas-graphics_1.3.10-2_m68k.deb 10-Apr-2024 12:03 179156 fricas-hypertex-dbgsym_1.3.10-2_m68k.deb 10-Apr-2024 12:03 331556 fricas-hypertex_1.3.10-2_m68k.deb 10-Apr-2024 12:03 160436 fricas_1.3.10-2_m68k.buildinfo 10-Apr-2024 12:03 12995 fricas_1.3.10-2_m68k.deb 10-Apr-2024 12:03 55039664