Directory: /rockos/20241030/rockos-base/pool/main/f/fricas/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
fricas_1.3.11-2_riscv64.deb125.6 MiB2024-Aug-26 12:58
fricas_1.3.11.orig.tar.bz210.4 MiB2024-Aug-26 13:42
fricas-source_1.3.11-2_all.deb1.4 MiB2024-Aug-26 13:32
fricas-graphics-data_1.3.11-2_all.deb1.3 MiB2024-Aug-26 14:36
fricas-databases_1.3.11-2_all.deb1.3 MiB2024-Aug-26 11:56
fricas-hypertex-data_1.3.11-2_all.deb722.9 KiB2024-Aug-26 13:56
fricas-doc_1.3.11-2_all.deb296.9 KiB2024-Aug-26 13:45
fricas-test_1.3.11-2_all.deb246.4 KiB2024-Aug-26 14:03
fricas_1.3.11-2.debian.tar.xz240.7 KiB2024-Aug-26 13:42
fricas-graphics_1.3.11-2_riscv64.deb220.3 KiB2024-Aug-26 14:16
fricas-hypertex_1.3.11-2_riscv64.deb189.1 KiB2024-Aug-26 13:24
elpa-fricas_1.3.11-2_all.deb143.7 KiB2024-Aug-26 13:39
fricas_1.3.11-2.dsc2.3 KiB2024-Aug-26 13:42