../ fricas-dbgsym_1.3.11-5_x32.deb 22-Sep-2025 06:03 179568 fricas-graphics-dbgsym_1.3.11-5_x32.deb 22-Sep-2025 06:03 436892 fricas-graphics_1.3.11-5_x32.deb 22-Sep-2025 06:03 218048 fricas-hypertex-dbgsym_1.3.11-5_x32.deb 22-Sep-2025 06:03 348240 fricas-hypertex_1.3.11-5_x32.deb 22-Sep-2025 06:03 187664 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 56274952