| Parent directory/ | - | - |
| elpa-fricas_1.3.11-2_all.deb | 143.7 KiB | 2024-Jul-28 18:33 |
| elpa-fricas_1.3.6-6_all.deb | 129.0 KiB | 2021-Apr-24 15:32 |
| elpa-fricas_1.3.8-6_all.deb | 134.4 KiB | 2023-Jan-14 03:42 |
| fricas-databases_1.3.11-2_all.deb | 1.3 MiB | 2024-Jul-28 18:33 |
| fricas-databases_1.3.6-6_all.deb | 1.2 MiB | 2021-Apr-24 15:32 |
| fricas-databases_1.3.8-6_all.deb | 1.3 MiB | 2023-Jan-14 03:42 |
| fricas-doc_1.3.11-2_all.deb | 296.9 KiB | 2024-Jul-28 18:33 |
| fricas-doc_1.3.6-6_all.deb | 284.5 KiB | 2021-Apr-24 15:32 |
| fricas-doc_1.3.8-6_all.deb | 287.9 KiB | 2023-Jan-14 03:42 |
| fricas-graphics-data_1.3.11-2_all.deb | 1.3 MiB | 2024-Jul-28 18:33 |
| fricas-graphics-data_1.3.6-6_all.deb | 1.2 MiB | 2021-Apr-24 15:32 |
| fricas-graphics-data_1.3.8-6_all.deb | 1.3 MiB | 2023-Jan-14 03:42 |
| fricas-graphics_1.3.11-2_armhf.deb | 190.2 KiB | 2024-Aug-03 23:08 |
| fricas-graphics_1.3.6-6_armhf.deb | 176.1 KiB | 2021-May-01 11:08 |
| fricas-graphics_1.3.8-6_armhf.deb | 90.7 KiB | 2023-Jan-19 21:22 |
| fricas-hypertex-data_1.3.11-2_all.deb | 722.9 KiB | 2024-Jul-28 18:33 |
| fricas-hypertex-data_1.3.6-6_all.deb | 725.5 KiB | 2021-Apr-24 15:32 |
| fricas-hypertex-data_1.3.8-6_all.deb | 688.1 KiB | 2023-Jan-14 03:42 |
| fricas-hypertex_1.3.11-2_armhf.deb | 164.5 KiB | 2024-Aug-03 23:08 |
| fricas-hypertex_1.3.6-6_armhf.deb | 151.3 KiB | 2021-May-01 11:08 |
| fricas-hypertex_1.3.8-6_armhf.deb | 90.7 KiB | 2023-Jan-19 21:22 |
| fricas-source_1.3.11-2_all.deb | 1.4 MiB | 2024-Jul-28 18:33 |
| fricas-source_1.3.6-6_all.deb | 1.3 MiB | 2021-Apr-24 15:32 |
| fricas-source_1.3.8-6_all.deb | 1.4 MiB | 2023-Jan-14 03:42 |
| fricas-test_1.3.11-2_all.deb | 246.4 KiB | 2024-Jul-28 18:33 |
| fricas-test_1.3.6-6_all.deb | 353.0 KiB | 2021-Apr-24 15:32 |
| fricas-test_1.3.8-6_all.deb | 251.6 KiB | 2023-Jan-14 03:42 |
| fricas_1.3.11-2.debian.tar.xz | 240.7 KiB | 2024-Aug-03 05:41 |
| fricas_1.3.11-2.dsc | 2.3 KiB | 2024-Aug-03 05:41 |
| fricas_1.3.11-2_armhf.deb | 50.4 MiB | 2024-Aug-03 23:08 |
| fricas_1.3.11.orig.tar.bz2 | 10.4 MiB | 2024-Jun-30 18:38 |
| fricas_1.3.6-6.debian.tar.xz | 64.6 KiB | 2021-Apr-24 14:42 |
| fricas_1.3.6-6.dsc | 2.3 KiB | 2021-Apr-24 14:42 |
| fricas_1.3.6-6_armhf.deb | 46.0 MiB | 2021-May-01 11:08 |
| fricas_1.3.6.orig.tar.bz2 | 9.9 MiB | 2020-Nov-23 16:51 |
| fricas_1.3.8-6.debian.tar.xz | 239.5 KiB | 2023-Jan-14 01:19 |
| fricas_1.3.8-6.dsc | 2.3 KiB | 2023-Jan-14 01:19 |
| fricas_1.3.8-6_armhf.deb | 50.1 MiB | 2023-Jan-19 21:22 |
| fricas_1.3.8.orig.tar.bz2 | 10.4 MiB | 2022-Jul-07 19:49 |