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