../ fricas-dbgsym_1.3.11-4_x32.deb 17-May-2025 00:03 180592 fricas-graphics-dbgsym_1.3.11-4_x32.deb 17-May-2025 00:03 437140 fricas-graphics_1.3.11-4_x32.deb 17-May-2025 00:03 218136 fricas-hypertex-dbgsym_1.3.11-4_x32.deb 17-May-2025 00:03 348056 fricas-hypertex_1.3.11-4_x32.deb 17-May-2025 00:03 187520 fricas_1.3.11-4_x32.buildinfo 17-May-2025 00:03 9454 fricas_1.3.11-4_x32.deb 17-May-2025 00:03 54364740