Index of /debian/pool/main/f/fricas
Name
Last modified
Size
Parent Directory
-
fricas_1.3.8-6_amd64.deb
2023-01-14 02:41
55M
fricas_1.3.6-6_amd64.deb
2021-04-24 15:43
52M
fricas-test_1.3.8-6_all.deb
2023-01-14 02:42
252K
fricas-test_1.3.6-6_all.deb
2021-04-24 15:32
353K
fricas-source_1.3.8-6_all.deb
2023-01-14 02:42
1.4M
fricas-source_1.3.6-6_all.deb
2021-04-24 15:32
1.3M
fricas-hypertex_1.3.8-6_amd64.deb
2023-01-14 02:41
91K
fricas-hypertex_1.3.6-6_amd64.deb
2021-04-24 15:43
172K
fricas-hypertex-data_1.3.8-6_all.deb
2023-01-14 02:42
688K
fricas-hypertex-data_1.3.6-6_all.deb
2021-04-24 15:32
725K
fricas-graphics_1.3.8-6_amd64.deb
2023-01-14 02:41
91K
fricas-graphics_1.3.6-6_amd64.deb
2021-04-24 15:43
200K
fricas-graphics-data_1.3.8-6_all.deb
2023-01-14 02:42
1.3M
fricas-graphics-data_1.3.6-6_all.deb
2021-04-24 15:32
1.2M
fricas-doc_1.3.8-6_all.deb
2023-01-14 02:42
288K
fricas-doc_1.3.6-6_all.deb
2021-04-24 15:32
285K
fricas-databases_1.3.8-6_all.deb
2023-01-14 02:42
1.3M
fricas-databases_1.3.6-6_all.deb
2021-04-24 15:32
1.2M
elpa-fricas_1.3.8-6_all.deb
2023-01-14 02:42
134K
elpa-fricas_1.3.6-6_all.deb
2021-04-24 15:32
129K
Apache/2.4.62 (Debian) Server at deb.dsi.ist.utl.pt Port 443