../ elpa-fricas_1.3.11-3_all.deb 27-Apr-2025 09:24 144K elpa-fricas_1.3.13-3_all.deb 07-Oct-2026 02:52 149K elpa-fricas_1.3.6-6_all.deb 24-Apr-2021 21:32 129K elpa-fricas_1.3.8-6_all.deb 14-Jan-2023 09:42 134K fricas-databases_1.3.11-3_all.deb 27-Apr-2025 09:24 1M fricas-databases_1.3.13-3_all.deb 07-Oct-2026 02:52 1M fricas-databases_1.3.6-6_all.deb 24-Apr-2021 21:32 1M fricas-databases_1.3.8-6_all.deb 14-Jan-2023 09:42 1M fricas-doc_1.3.11-3_all.deb 27-Apr-2025 09:24 297K fricas-doc_1.3.13-3_all.deb 07-Oct-2026 02:52 300K fricas-doc_1.3.6-6_all.deb 24-Apr-2021 21:32 285K fricas-doc_1.3.8-6_all.deb 14-Jan-2023 09:42 288K fricas-graphics-data_1.3.11-3_all.deb 27-Apr-2025 09:24 1M fricas-graphics-data_1.3.13-3_all.deb 07-Oct-2026 02:52 1M fricas-graphics-data_1.3.6-6_all.deb 24-Apr-2021 21:32 1M fricas-graphics-data_1.3.8-6_all.deb 14-Jan-2023 09:42 1M fricas-graphics_1.3.11-3_amd64.deb 27-Apr-2025 09:24 216K fricas-graphics_1.3.11-3_i386.deb 27-Apr-2025 09:09 216K fricas-graphics_1.3.11-3_riscv64.deb 27-Apr-2025 15:36 220K fricas-graphics_1.3.13-3_amd64.deb 07-Oct-2026 02:27 221K fricas-graphics_1.3.13-3_i386.deb 07-Oct-2026 02:32 223K fricas-graphics_1.3.13-3_loong64.deb 07-Oct-2026 04:34 212K fricas-graphics_1.3.13-3_riscv64.deb 11-Oct-2026 19:11 218K fricas-graphics_1.3.6-6_amd64.deb 24-Apr-2021 21:43 200K fricas-graphics_1.3.6-6_i386.deb 24-Apr-2021 21:38 200K fricas-graphics_1.3.8-6_amd64.deb 14-Jan-2023 09:41 91K fricas-graphics_1.3.8-6_i386.deb 14-Jan-2023 09:36 91K fricas-hypertex-data_1.3.11-3_all.deb 27-Apr-2025 09:24 723K fricas-hypertex-data_1.3.13-3_all.deb 07-Oct-2026 02:52 727K fricas-hypertex-data_1.3.6-6_all.deb 24-Apr-2021 21:32 725K fricas-hypertex-data_1.3.8-6_all.deb 14-Jan-2023 09:42 688K fricas-hypertex_1.3.11-3_amd64.deb 27-Apr-2025 09:24 185K fricas-hypertex_1.3.11-3_i386.deb 27-Apr-2025 09:09 189K fricas-hypertex_1.3.11-3_riscv64.deb 27-Apr-2025 15:36 189K fricas-hypertex_1.3.13-3_amd64.deb 07-Oct-2026 02:27 190K fricas-hypertex_1.3.13-3_i386.deb 07-Oct-2026 02:32 196K fricas-hypertex_1.3.13-3_loong64.deb 07-Oct-2026 04:34 187K fricas-hypertex_1.3.13-3_riscv64.deb 11-Oct-2026 19:11 191K fricas-hypertex_1.3.6-6_amd64.deb 24-Apr-2021 21:43 172K fricas-hypertex_1.3.6-6_i386.deb 24-Apr-2021 21:38 177K fricas-hypertex_1.3.8-6_amd64.deb 14-Jan-2023 09:41 91K fricas-hypertex_1.3.8-6_i386.deb 14-Jan-2023 09:36 91K fricas-source_1.3.11-3_all.deb 27-Apr-2025 09:24 1M fricas-source_1.3.13-3_all.deb 07-Oct-2026 02:52 1M fricas-source_1.3.6-6_all.deb 24-Apr-2021 21:32 1M fricas-source_1.3.8-6_all.deb 14-Jan-2023 09:42 1M fricas-test_1.3.11-3_all.deb 27-Apr-2025 09:24 246K fricas-test_1.3.13-3_all.deb 07-Oct-2026 02:52 251K fricas-test_1.3.6-6_all.deb 24-Apr-2021 21:32 353K fricas-test_1.3.8-6_all.deb 14-Jan-2023 09:42 252K fricas_1.3.11-3.debian.tar.xz 27-Apr-2025 08:29 255K fricas_1.3.11-3.dsc 27-Apr-2025 08:29 2364 fricas_1.3.11-3_amd64.deb 27-Apr-2025 09:24 53M fricas_1.3.11-3_i386.deb 27-Apr-2025 09:09 48M fricas_1.3.11-3_riscv64.deb 27-Apr-2025 15:36 107M fricas_1.3.11.orig.tar.bz2 01-Jul-2024 00:38 10M fricas_1.3.13-3.debian.tar.xz 07-Oct-2026 01:36 256K fricas_1.3.13-3.dsc 07-Oct-2026 01:36 2367 fricas_1.3.13-3_amd64.deb 07-Oct-2026 02:27 69M fricas_1.3.13-3_i386.deb 07-Oct-2026 02:32 60M fricas_1.3.13-3_loong64.deb 07-Oct-2026 04:34 75M fricas_1.3.13-3_riscv64.deb 11-Oct-2026 19:11 163M fricas_1.3.13.orig.tar.bz2 08-Jun-2026 20:47 10M fricas_1.3.6-6.debian.tar.xz 24-Apr-2021 20:42 65K fricas_1.3.6-6.dsc 24-Apr-2021 20:42 2346 fricas_1.3.6-6_amd64.deb 24-Apr-2021 21:43 52M fricas_1.3.6-6_i386.deb 24-Apr-2021 21:38 51M fricas_1.3.6.orig.tar.bz2 23-Nov-2020 22:51 10M fricas_1.3.8-6.debian.tar.xz 14-Jan-2023 07:19 239K fricas_1.3.8-6.dsc 14-Jan-2023 07:19 2352 fricas_1.3.8-6_amd64.deb 14-Jan-2023 09:41 55M fricas_1.3.8-6_i386.deb 14-Jan-2023 09:36 53M fricas_1.3.8.orig.tar.bz2 08-Jul-2022 01:49 10M