../ fricas-dbgsym_1.3.11-2_m68k.deb 29-Jul-2024 06:03 4934048 fricas-graphics-dbgsym_1.3.11-2_m68k.deb 29-Jul-2024 06:03 407196 fricas-graphics_1.3.11-2_m68k.deb 29-Jul-2024 06:03 184000 fricas-hypertex-dbgsym_1.3.11-2_m68k.deb 29-Jul-2024 06:03 329144 fricas-hypertex_1.3.11-2_m68k.deb 29-Jul-2024 06:03 162640 fricas_1.3.11-2_m68k.buildinfo 29-Jul-2024 06:03 12680 fricas_1.3.11-2_m68k.deb 29-Jul-2024 06:03 53670388