Index of /Raspbian/raspbian/pool/main/f/fricas
Name Last modified Size Description
Parent Directory -
fricas_1.3.6.orig.tar.bz2 2020-11-23 23:51 9.9M
fricas_1.3.6-6.debian.tar.xz 2021-04-24 21:42 65K
fricas_1.3.6-6.dsc 2021-04-24 21:42 2.3K
elpa-fricas_1.3.6-6_all.deb 2021-04-24 22:32 129K
fricas-databases_1.3.6-6_all.deb 2021-04-24 22:32 1.2M
fricas-doc_1.3.6-6_all.deb 2021-04-24 22:32 285K
fricas-graphics-data_1.3.6-6_all.deb 2021-04-24 22:32 1.2M
fricas-hypertex-data_1.3.6-6_all.deb 2021-04-24 22:32 725K
fricas-source_1.3.6-6_all.deb 2021-04-24 22:32 1.3M
fricas-test_1.3.6-6_all.deb 2021-04-24 22:32 353K
fricas-graphics_1.3.6-6_armhf.deb 2021-05-01 18:08 176K
fricas-hypertex_1.3.6-6_armhf.deb 2021-05-01 18:08 151K
fricas_1.3.6-6_armhf.deb 2021-05-01 18:08 46M
fricas_1.3.8.orig.tar.bz2 2022-07-08 02:49 10M
fricas_1.3.8-6.debian.tar.xz 2023-01-14 08:19 239K
fricas_1.3.8-6.dsc 2023-01-14 08:19 2.3K
elpa-fricas_1.3.8-6_all.deb 2023-01-14 10:42 134K
fricas-databases_1.3.8-6_all.deb 2023-01-14 10:42 1.3M
fricas-doc_1.3.8-6_all.deb 2023-01-14 10:42 288K
fricas-graphics-data_1.3.8-6_all.deb 2023-01-14 10:42 1.3M
fricas-hypertex-data_1.3.8-6_all.deb 2023-01-14 10:42 688K
fricas-source_1.3.8-6_all.deb 2023-01-14 10:42 1.4M
fricas-test_1.3.8-6_all.deb 2023-01-14 10:42 252K
fricas-graphics_1.3.8-6_armhf.deb 2023-01-20 04:22 91K
fricas-hypertex_1.3.8-6_armhf.deb 2023-01-20 04:22 91K
fricas_1.3.8-6_armhf.deb 2023-01-20 04:22 50M
fricas_1.3.11.orig.tar.bz2 2024-07-01 01:38 10M
elpa-fricas_1.3.11-2_all.deb 2024-07-29 01:33 144K
fricas-databases_1.3.11-2_all.deb 2024-07-29 01:33 1.3M
fricas-doc_1.3.11-2_all.deb 2024-07-29 01:33 297K
fricas-graphics-data_1.3.11-2_all.deb 2024-07-29 01:33 1.3M
fricas-hypertex-data_1.3.11-2_all.deb 2024-07-29 01:33 723K
fricas-source_1.3.11-2_all.deb 2024-07-29 01:33 1.4M
fricas-test_1.3.11-2_all.deb 2024-07-29 01:33 246K
fricas_1.3.11-2.debian.tar.xz 2024-08-03 12:41 241K
fricas_1.3.11-2.dsc 2024-08-03 12:41 2.3K
fricas-graphics_1.3.11-2_armhf.deb 2024-08-04 06:08 190K
fricas-hypertex_1.3.11-2_armhf.deb 2024-08-04 06:08 164K
fricas_1.3.11-2_armhf.deb 2024-08-04 06:08 50M
Apache/2.4.62 (Debian) Server at mirror.freedif.org Port 443