Index of /ubuntu-ports/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_arm64.deb 31-Mar-2024 09:59 123592
fricas-graphics_1.3.11-2_arm64.deb 29-Jul-2024 00:55 128182
fricas-graphics_1.3.7-5_arm64.deb 27-Jan-2022 18:54 126794
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_arm64.deb 31-Mar-2024 09:59 97916
fricas-hypertex_1.3.11-2_arm64.deb 29-Jul-2024 00:55 96990
fricas-hypertex_1.3.7-5_arm64.deb 27-Jan-2022 18:54 98926
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_arm64.deb 31-Mar-2024 09:59 65049156
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_arm64.deb 29-Jul-2024 00:55 57745050
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_arm64.deb 27-Jan-2022 18:54 60708760
fricas_1.3.7.orig.tar.bz2 01-Jul-2021 23:13 10859960