Index of /ubuntu-ports/pool/universe/f/fricas/

../
elpa-fricas_1.3.10-1build3_all.deb                 03-Apr-2024 00:15               50760
elpa-fricas_1.3.7-5_all.deb                        30-Aug-2023 22:54               50800
fricas-databases_1.3.10-1build3_all.deb            03-Apr-2024 00:15             1211944
fricas-databases_1.3.7-5_all.deb                   30-Aug-2023 22:54             1195948
fricas-doc_1.3.10-1build3_all.deb                  03-Apr-2024 00:15              215384
fricas-doc_1.3.7-5_all.deb                         30-Aug-2023 22:54              216252
fricas-graphics-data_1.3.10-1build3_all.deb        03-Apr-2024 00:15             1225974
fricas-graphics-data_1.3.7-5_all.deb               30-Aug-2023 22:54             1261516
fricas-graphics_1.3.10-1build3_arm64.deb           03-Apr-2024 00:15              123592
fricas-graphics_1.3.7-5_arm64.deb                  30-Aug-2023 22:54              126794
fricas-hypertex-data_1.3.10-1build3_all.deb        03-Apr-2024 00:15              682126
fricas-hypertex-data_1.3.7-5_all.deb               30-Aug-2023 22:54              685912
fricas-hypertex_1.3.10-1build3_arm64.deb           03-Apr-2024 00:15               97916
fricas-hypertex_1.3.7-5_arm64.deb                  30-Aug-2023 22:54               98926
fricas-source_1.3.10-1build3_all.deb               03-Apr-2024 00:15             1403286
fricas-source_1.3.7-5_all.deb                      30-Aug-2023 22:54             1382730
fricas-test_1.3.10-1build3_all.deb                 03-Apr-2024 00:15              163200
fricas-test_1.3.7-5_all.deb                        30-Aug-2023 22:54              290230
fricas_1.3.10-1build3.debian.tar.xz                03-Apr-2024 00:15              246284
fricas_1.3.10-1build3.dsc                          03-Apr-2024 00:15                2503
fricas_1.3.10-1build3_arm64.deb                    03-Apr-2024 00:15            65049156
fricas_1.3.10.orig.tar.bz2                         30-Mar-2024 00:18            10971513
fricas_1.3.7-5.debian.tar.xz                       30-Aug-2023 22:54               99416
fricas_1.3.7-5.dsc                                 30-Aug-2023 22:54                2351
fricas_1.3.7-5_arm64.deb                           30-Aug-2023 22:54            60708760
fricas_1.3.7.orig.tar.bz2                          30-Aug-2023 22:54            10859960