| Parent directory/ | - | - |
| fricas_1.3.11-3_riscv64.deb | 107.1 MiB | 2025-May-22 23:57 |
| fricas_1.3.11-3_amd64.deb | 52.6 MiB | 2025-Jun-04 18:50 |
| fricas_1.3.11.orig.tar.bz2 | 10.4 MiB | 2024-Aug-26 13:42 |
| fricas-source_1.3.11-3_all.deb | 1.4 MiB | 2025-May-22 23:44 |
| fricas-graphics-data_1.3.11-3_all.deb | 1.3 MiB | 2025-May-22 20:57 |
| fricas-databases_1.3.11-3_all.deb | 1.3 MiB | 2025-May-22 22:51 |
| fricas-hypertex-data_1.3.11-3_all.deb | 722.6 KiB | 2025-May-23 00:25 |
| fricas-graphics-dbgsym_1.3.11-3_amd64.deb | 439.1 KiB | 2025-Jun-04 23:56 |
| fricas-graphics-dbgsym_1.3.11-3_riscv64.deb | 435.7 KiB | 2025-May-23 01:01 |
| fricas-hypertex-dbgsym_1.3.11-3_amd64.deb | 349.3 KiB | 2025-Jun-04 23:51 |
| fricas-hypertex-dbgsym_1.3.11-3_riscv64.deb | 346.5 KiB | 2025-May-23 01:41 |
| fricas-doc_1.3.11-3_all.deb | 296.9 KiB | 2025-May-22 22:26 |
| fricas_1.3.11-3.debian.tar.xz | 255.3 KiB | 2025-May-22 20:57 |
| fricas-test_1.3.11-3_all.deb | 246.4 KiB | 2025-May-23 00:24 |
| fricas-graphics_1.3.11-3_riscv64.deb | 220.2 KiB | 2025-May-22 23:49 |
| fricas-graphics_1.3.11-3_amd64.deb | 216.5 KiB | 2025-Jun-04 18:23 |
| fricas-hypertex_1.3.11-3_riscv64.deb | 188.8 KiB | 2025-May-22 20:51 |
| fricas-hypertex_1.3.11-3_amd64.deb | 184.8 KiB | 2025-Jun-04 19:07 |
| fricas-dbgsym_1.3.11-3_amd64.deb | 179.9 KiB | 2025-Jun-04 22:54 |
| fricas-dbgsym_1.3.11-3_riscv64.deb | 177.0 KiB | 2025-May-23 02:13 |
| elpa-fricas_1.3.11-3_all.deb | 143.8 KiB | 2025-May-23 00:15 |
| fricas_1.3.11-3.dsc | 2.3 KiB | 2025-May-22 20:57 |