| Parent directory/ | - | - |
| elpa-fricas_1.3.11-3_all.deb | 143.8 KiB | 2025-Apr-27 11:24 |
| elpa-fricas_1.3.8-6_all.deb | 134.4 KiB | 2023-Jan-14 11:42 |
| fricas-databases_1.3.11-3_all.deb | 1.3 MiB | 2025-Apr-27 11:24 |
| fricas-databases_1.3.8-6_all.deb | 1.3 MiB | 2023-Jan-14 11:42 |
| fricas-doc_1.3.11-3_all.deb | 296.9 KiB | 2025-Apr-27 11:24 |
| fricas-doc_1.3.8-6_all.deb | 287.9 KiB | 2023-Jan-14 11:42 |
| fricas-graphics-data_1.3.11-3_all.deb | 1.3 MiB | 2025-Apr-27 11:24 |
| fricas-graphics-data_1.3.8-6_all.deb | 1.3 MiB | 2023-Jan-14 11:42 |
| fricas-graphics_1.3.11-3_amd64.deb | 216.5 KiB | 2025-Apr-27 11:24 |
| fricas-graphics_1.3.11-3_arm64.deb | 203.7 KiB | 2025-Apr-27 11:24 |
| fricas-graphics_1.3.11-3_armhf.deb | 200.2 KiB | 2025-Apr-27 12:15 |
| fricas-graphics_1.3.11-3_riscv64.deb | 220.2 KiB | 2025-Apr-27 17:36 |
| fricas-graphics_1.3.8-6_amd64.deb | 90.7 KiB | 2023-Jan-14 11:41 |
| fricas-graphics_1.3.8-6_arm64.deb | 90.7 KiB | 2023-Jan-14 12:42 |
| fricas-hypertex-data_1.3.11-3_all.deb | 722.6 KiB | 2025-Apr-27 11:24 |
| fricas-hypertex-data_1.3.8-6_all.deb | 688.1 KiB | 2023-Jan-14 11:42 |
| fricas-hypertex_1.3.11-3_amd64.deb | 184.8 KiB | 2025-Apr-27 11:24 |
| fricas-hypertex_1.3.11-3_arm64.deb | 178.6 KiB | 2025-Apr-27 11:24 |
| fricas-hypertex_1.3.11-3_armhf.deb | 173.6 KiB | 2025-Apr-27 12:15 |
| fricas-hypertex_1.3.11-3_riscv64.deb | 188.8 KiB | 2025-Apr-27 17:36 |
| fricas-hypertex_1.3.8-6_amd64.deb | 90.7 KiB | 2023-Jan-14 11:41 |
| fricas-hypertex_1.3.8-6_arm64.deb | 90.7 KiB | 2023-Jan-14 12:42 |
| fricas-source_1.3.11-3_all.deb | 1.4 MiB | 2025-Apr-27 11:24 |
| fricas-source_1.3.8-6_all.deb | 1.4 MiB | 2023-Jan-14 11:42 |
| fricas-test_1.3.11-3_all.deb | 246.4 KiB | 2025-Apr-27 11:24 |
| fricas-test_1.3.8-6_all.deb | 251.6 KiB | 2023-Jan-14 11:42 |
| fricas_1.3.11-3.debian.tar.xz | 255.3 KiB | 2025-Apr-27 10:29 |
| fricas_1.3.11-3.dsc | 2.3 KiB | 2025-Apr-27 10:29 |
| fricas_1.3.11-3_amd64.deb | 52.6 MiB | 2025-Apr-27 11:24 |
| fricas_1.3.11-3_arm64.deb | 51.0 MiB | 2025-Apr-27 11:24 |
| fricas_1.3.11-3_armhf.deb | 49.6 MiB | 2025-Apr-27 12:15 |
| fricas_1.3.11-3_riscv64.deb | 107.1 MiB | 2025-Apr-27 17:36 |
| fricas_1.3.11.orig.tar.bz2 | 10.4 MiB | 2024-Jul-01 02:38 |
| fricas_1.3.8-6.debian.tar.xz | 239.5 KiB | 2023-Jan-14 09:19 |
| fricas_1.3.8-6.dsc | 2.3 KiB | 2023-Jan-14 09:19 |
| fricas_1.3.8-6_amd64.deb | 54.9 MiB | 2023-Jan-14 11:41 |
| fricas_1.3.8-6_arm64.deb | 52.0 MiB | 2023-Jan-14 12:42 |
| fricas_1.3.8.orig.tar.bz2 | 10.4 MiB | 2022-Jul-08 03:49 |