Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
fricas-test_1.3.8-6_all.deb | 2023-01-14 02:42 | 252K | ||
fricas-source_1.3.8-6_all.deb | 2023-01-14 02:42 | 1.4M | ||
fricas-hypertex-data_1.3.8-6_all.deb | 2023-01-14 02:42 | 688K | ||
fricas-graphics-data_1.3.8-6_all.deb | 2023-01-14 02:42 | 1.3M | ||
fricas-doc_1.3.8-6_all.deb | 2023-01-14 02:42 | 288K | ||
fricas-databases_1.3.8-6_all.deb | 2023-01-14 02:42 | 1.3M | ||
elpa-fricas_1.3.8-6_all.deb | 2023-01-14 02:42 | 134K | ||
fricas_1.3.8-6_amd64.deb | 2023-01-14 02:41 | 55M | ||
fricas-hypertex_1.3.8-6_amd64.deb | 2023-01-14 02:41 | 91K | ||
fricas-graphics_1.3.8-6_amd64.deb | 2023-01-14 02:41 | 91K | ||
fricas_1.3.8-6.dsc | 2023-01-14 00:19 | 2.3K | ||
fricas_1.3.8-6.debian.tar.xz | 2023-01-14 00:19 | 239K | ||
fricas_1.3.8.orig.tar.bz2 | 2022-07-07 18:49 | 10M | ||