../ fricas-dbgsym_1.3.8-8_x32.deb 14-Jun-2023 21:03 5M fricas-graphics-dbgsym_1.3.8-8_x32.deb 14-Jun-2023 21:03 405K fricas-graphics_1.3.8-8_x32.deb 14-Jun-2023 21:03 201K fricas-hypertex-dbgsym_1.3.8-8_x32.deb 14-Jun-2023 21:03 347K fricas-hypertex_1.3.8-8_x32.deb 14-Jun-2023 21:03 175K fricas_1.3.8-8_x32.buildinfo 14-Jun-2023 21:03 12K fricas_1.3.8-8_x32.deb 14-Jun-2023 21:03 55M