../ fricas-dbgsym_1.3.8-8_x32.deb 14-Jun-2023 12:03 5128656 fricas-graphics-dbgsym_1.3.8-8_x32.deb 14-Jun-2023 12:03 415028 fricas-graphics_1.3.8-8_x32.deb 14-Jun-2023 12:03 206160 fricas-hypertex-dbgsym_1.3.8-8_x32.deb 14-Jun-2023 12:03 354940 fricas-hypertex_1.3.8-8_x32.deb 14-Jun-2023 12:03 178712 fricas_1.3.8-8_x32.buildinfo 14-Jun-2023 12:03 12656 fricas_1.3.8-8_x32.deb 14-Jun-2023 12:03 57829836