Index of /mirror/ubuntu/pool/universe/f/fricas/
../
elpa-fricas_1.3.10-1build3_all.deb 01-Apr-2024 14:43 50760
elpa-fricas_1.3.11-2_all.deb 28-Jul-2024 23:59 51004
elpa-fricas_1.3.7-5_all.deb 27-Jan-2022 18:24 50800
fricas-databases_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1211944
fricas-databases_1.3.11-2_all.deb 28-Jul-2024 23:59 1183460
fricas-databases_1.3.7-5_all.deb 27-Jan-2022 18:24 1195948
fricas-doc_1.3.10-1build3_all.deb 01-Apr-2024 14:43 215384
fricas-doc_1.3.11-2_all.deb 28-Jul-2024 23:59 215598
fricas-doc_1.3.7-5_all.deb 27-Jan-2022 18:24 216252
fricas-graphics-data_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1225974
fricas-graphics-data_1.3.11-2_all.deb 28-Jul-2024 23:59 1228318
fricas-graphics-data_1.3.7-5_all.deb 27-Jan-2022 18:24 1261516
fricas-graphics_1.3.10-1build3_amd64.deb 01-Apr-2024 14:43 128004
fricas-graphics_1.3.11-2_amd64.deb 28-Jul-2024 23:59 129962
fricas-graphics_1.3.7-5_amd64.deb 27-Jan-2022 18:24 129700
fricas-hypertex-data_1.3.10-1build3_all.deb 01-Apr-2024 14:43 682126
fricas-hypertex-data_1.3.11-2_all.deb 28-Jul-2024 23:59 679570
fricas-hypertex-data_1.3.7-5_all.deb 27-Jan-2022 18:24 685912
fricas-hypertex_1.3.10-1build3_amd64.deb 01-Apr-2024 14:43 97952
fricas-hypertex_1.3.11-2_amd64.deb 28-Jul-2024 23:59 97106
fricas-hypertex_1.3.7-5_amd64.deb 27-Jan-2022 18:24 99942
fricas-source_1.3.10-1build3_all.deb 01-Apr-2024 14:43 1403286
fricas-source_1.3.11-2_all.deb 28-Jul-2024 23:59 1401188
fricas-source_1.3.7-5_all.deb 27-Jan-2022 18:24 1382730
fricas-test_1.3.10-1build3_all.deb 01-Apr-2024 14:43 163200
fricas-test_1.3.11-2_all.deb 28-Jul-2024 23:59 160562
fricas-test_1.3.7-5_all.deb 27-Jan-2022 18:24 290230
fricas_1.3.10-1build3.debian.tar.xz 31-Mar-2024 06:12 246284
fricas_1.3.10-1build3.dsc 31-Mar-2024 06:12 2503
fricas_1.3.10-1build3_amd64.deb 01-Apr-2024 14:43 65991450
fricas_1.3.10.orig.tar.bz2 15-Feb-2024 12:29 10971513
fricas_1.3.11-2.debian.tar.xz 28-Jul-2024 23:59 246456
fricas_1.3.11-2.dsc 28-Jul-2024 23:59 2363
fricas_1.3.11-2_amd64.deb 28-Jul-2024 23:59 60100996
fricas_1.3.11.orig.tar.bz2 30-Jun-2024 23:49 10937641
fricas_1.3.7-5.debian.tar.xz 27-Jan-2022 17:14 99416
fricas_1.3.7-5.dsc 27-Jan-2022 17:14 2351
fricas_1.3.7-5_amd64.deb 27-Jan-2022 18:24 62769332
fricas_1.3.7.orig.tar.bz2 01-Jul-2021 23:13 10859960