../ fricas-dbgsym_1.3.11-4_m68k.deb 15-May-2025 12:03 167448 fricas-graphics-dbgsym_1.3.11-4_m68k.deb 15-May-2025 12:03 408948 fricas-graphics_1.3.11-4_m68k.deb 15-May-2025 12:03 183116 fricas-hypertex-dbgsym_1.3.11-4_m68k.deb 15-May-2025 12:03 329464 fricas-hypertex_1.3.11-4_m68k.deb 15-May-2025 12:03 162200 fricas_1.3.11-4_m68k.buildinfo 15-May-2025 12:03 9149 fricas_1.3.11-4_m68k.deb 15-May-2025 12:03 45758204