../ fricas-dbgsym_1.3.11-5_x32.deb 22-Sep-2025 06:03 175K fricas-graphics-dbgsym_1.3.11-5_x32.deb 22-Sep-2025 06:03 427K fricas-graphics_1.3.11-5_x32.deb 22-Sep-2025 06:03 213K fricas-hypertex-dbgsym_1.3.11-5_x32.deb 22-Sep-2025 06:03 340K fricas-hypertex_1.3.11-5_x32.deb 22-Sep-2025 06:03 183K fricas_1.3.11-5_x32.buildinfo 22-Sep-2025 06:03 9401 fricas_1.3.11-5_x32.deb 22-Sep-2025 06:03 54M