| Parent directory/ | - | - |
| elpa-fricas_1.3.10-1_all.deb | 139.9 KiB | 2024-Feb-05 20:52 |
| elpa-fricas_1.3.6-6_all.deb | 129.0 KiB | 2021-Apr-24 16:32 |
| elpa-fricas_1.3.8-6_all.deb | 134.4 KiB | 2023-Jan-14 04:42 |
| fricas-databases_1.3.10-1_all.deb | 1.3 MiB | 2024-Feb-05 20:52 |
| fricas-databases_1.3.6-6_all.deb | 1.2 MiB | 2021-Apr-24 16:32 |
| fricas-databases_1.3.8-6_all.deb | 1.3 MiB | 2023-Jan-14 04:42 |
| fricas-doc_1.3.10-1_all.deb | 293.2 KiB | 2024-Feb-05 20:52 |
| fricas-doc_1.3.6-6_all.deb | 284.5 KiB | 2021-Apr-24 16:32 |
| fricas-doc_1.3.8-6_all.deb | 287.9 KiB | 2023-Jan-14 04:42 |
| fricas-graphics-data_1.3.10-1_all.deb | 1.3 MiB | 2024-Feb-05 20:52 |
| fricas-graphics-data_1.3.6-6_all.deb | 1.2 MiB | 2021-Apr-24 16:32 |
| fricas-graphics-data_1.3.8-6_all.deb | 1.3 MiB | 2023-Jan-14 04:42 |
| fricas-graphics_1.3.10-1_armhf.deb | 185.1 KiB | 2024-Feb-11 18:08 |
| fricas-graphics_1.3.6-6_armhf.deb | 176.1 KiB | 2021-May-01 12:08 |
| fricas-graphics_1.3.8-6_armhf.deb | 90.7 KiB | 2023-Jan-19 22:22 |
| fricas-hypertex-data_1.3.10-1_all.deb | 721.2 KiB | 2024-Feb-05 20:52 |
| fricas-hypertex-data_1.3.6-6_all.deb | 725.5 KiB | 2021-Apr-24 16:32 |
| fricas-hypertex-data_1.3.8-6_all.deb | 688.1 KiB | 2023-Jan-14 04:42 |
| fricas-hypertex_1.3.10-1_armhf.deb | 161.5 KiB | 2024-Feb-11 18:08 |
| fricas-hypertex_1.3.6-6_armhf.deb | 151.3 KiB | 2021-May-01 12:08 |
| fricas-hypertex_1.3.8-6_armhf.deb | 90.7 KiB | 2023-Jan-19 22:22 |
| fricas-source_1.3.10-1_all.deb | 1.4 MiB | 2024-Feb-05 20:52 |
| fricas-source_1.3.6-6_all.deb | 1.3 MiB | 2021-Apr-24 16:32 |
| fricas-source_1.3.8-6_all.deb | 1.4 MiB | 2023-Jan-14 04:42 |
| fricas-test_1.3.10-1_all.deb | 245.4 KiB | 2024-Feb-05 20:52 |
| fricas-test_1.3.6-6_all.deb | 353.0 KiB | 2021-Apr-24 16:32 |
| fricas-test_1.3.8-6_all.deb | 251.6 KiB | 2023-Jan-14 04:42 |
| fricas_1.3.10-1.debian.tar.xz | 240.3 KiB | 2024-Feb-05 19:41 |
| fricas_1.3.10-1.dsc | 2.3 KiB | 2024-Feb-05 19:41 |
| fricas_1.3.10-1_armhf.deb | 51.3 MiB | 2024-Feb-11 18:08 |
| fricas_1.3.10.orig.tar.bz2 | 10.5 MiB | 2024-Feb-05 19:41 |
| fricas_1.3.6-6.debian.tar.xz | 64.6 KiB | 2021-Apr-24 15:42 |
| fricas_1.3.6-6.dsc | 2.3 KiB | 2021-Apr-24 15:42 |
| fricas_1.3.6-6_armhf.deb | 46.0 MiB | 2021-May-01 12:08 |
| fricas_1.3.6.orig.tar.bz2 | 9.9 MiB | 2020-Nov-23 17:51 |
| fricas_1.3.8-6.debian.tar.xz | 239.5 KiB | 2023-Jan-14 02:19 |
| fricas_1.3.8-6.dsc | 2.3 KiB | 2023-Jan-14 02:19 |
| fricas_1.3.8-6_armhf.deb | 50.1 MiB | 2023-Jan-19 22:22 |
| fricas_1.3.8.orig.tar.bz2 | 10.4 MiB | 2022-Jul-07 20:49 |