../ fricas-dbgsym_1.3.11-4_x32.deb 17-May-2025 09:03 176K fricas-graphics-dbgsym_1.3.11-4_x32.deb 17-May-2025 09:03 427K fricas-graphics_1.3.11-4_x32.deb 17-May-2025 09:03 213K fricas-hypertex-dbgsym_1.3.11-4_x32.deb 17-May-2025 09:03 340K fricas-hypertex_1.3.11-4_x32.deb 17-May-2025 09:03 183K fricas_1.3.11-4_x32.buildinfo 17-May-2025 09:03 9454 fricas_1.3.11-4_x32.deb 17-May-2025 09:03 52M