| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| fricas-graphics-data_1.3.11-2_all.deb | 1.3 MiB | 2024-Jul-29 02:33 |
| fricas-source_1.3.11-2_all.deb | 1.4 MiB | 2024-Jul-29 02:33 |
| elpa-fricas_1.3.11-2_all.deb | 143.7 KiB | 2024-Jul-29 02:33 |
| fricas-databases_1.3.11-2_all.deb | 1.3 MiB | 2024-Jul-29 02:33 |
| fricas-doc_1.3.11-2_all.deb | 296.9 KiB | 2024-Jul-29 02:33 |
| fricas-hypertex-data_1.3.11-2_all.deb | 722.9 KiB | 2024-Jul-29 02:33 |
| fricas-test_1.3.11-2_all.deb | 246.4 KiB | 2024-Jul-29 02:33 |