Index of /debian-ports/pool-x32/main/f/fricas/


../
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