| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| fricas-dbgsym_1.3.11-2_riscv64.deb | 4.8 MiB | 2024-Aug-26 17:20 |
| fricas-graphics-dbgsym_1.3.11-2_riscv64.deb | 435.0 KiB | 2024-Aug-26 17:05 |
| fricas-hypertex-dbgsym_1.3.11-2_riscv64.deb | 346.3 KiB | 2024-Aug-26 16:33 |