Index of /debian/pool/main/f/fricas

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]fricas_1.3.8-6_amd64.deb2023-01-14 02:41 55M
[   ]fricas_1.3.6-6_amd64.deb2021-04-24 15:43 52M
[   ]fricas-test_1.3.8-6_all.deb2023-01-14 02:42 252K
[   ]fricas-test_1.3.6-6_all.deb2021-04-24 15:32 353K
[   ]fricas-source_1.3.8-6_all.deb2023-01-14 02:42 1.4M
[   ]fricas-source_1.3.6-6_all.deb2021-04-24 15:32 1.3M
[   ]fricas-hypertex_1.3.8-6_amd64.deb2023-01-14 02:41 91K
[   ]fricas-hypertex_1.3.6-6_amd64.deb2021-04-24 15:43 172K
[   ]fricas-hypertex-data_1.3.8-6_all.deb2023-01-14 02:42 688K
[   ]fricas-hypertex-data_1.3.6-6_all.deb2021-04-24 15:32 725K
[   ]fricas-graphics_1.3.8-6_amd64.deb2023-01-14 02:41 91K
[   ]fricas-graphics_1.3.6-6_amd64.deb2021-04-24 15:43 200K
[   ]fricas-graphics-data_1.3.8-6_all.deb2023-01-14 02:42 1.3M
[   ]fricas-graphics-data_1.3.6-6_all.deb2021-04-24 15:32 1.2M
[   ]fricas-doc_1.3.8-6_all.deb2023-01-14 02:42 288K
[   ]fricas-doc_1.3.6-6_all.deb2021-04-24 15:32 285K
[   ]fricas-databases_1.3.8-6_all.deb2023-01-14 02:42 1.3M
[   ]fricas-databases_1.3.6-6_all.deb2021-04-24 15:32 1.2M
[   ]elpa-fricas_1.3.8-6_all.deb2023-01-14 02:42 134K
[   ]elpa-fricas_1.3.6-6_all.deb2021-04-24 15:32 129K

Apache/2.4.62 (Debian) Server at deb.dsi.ist.utl.pt Port 443