Index of /linux/ubuntu/22.04-mirror/pool/universe/f/fricas
Name Last modified Size Description
Parent Directory -
fricas_1.3.7-5_amd64.deb 2022-01-27 11:24 60M
fricas-hypertex_1.3.7-5_amd64.deb 2022-01-27 11:24 98K
fricas-graphics_1.3.7-5_amd64.deb 2022-01-27 11:24 127K
fricas-graphics-data_1.3.7-5_all.deb 2022-01-27 11:24 1.2M
fricas-doc_1.3.7-5_all.deb 2022-01-27 11:24 211K
fricas-test_1.3.7-5_all.deb 2022-01-27 11:24 283K
fricas-source_1.3.7-5_all.deb 2022-01-27 11:24 1.3M
fricas-hypertex-data_1.3.7-5_all.deb 2022-01-27 11:24 670K
fricas-databases_1.3.7-5_all.deb 2022-01-27 11:24 1.1M
elpa-fricas_1.3.7-5_all.deb 2022-01-27 11:24 50K