Index of /archive/pool/universe/f/fricas
Name
Last modified
Size
Description
Parent Directory
-
fricas_1.3.7.orig.tar.bz2
01-Jul-2021 18:13
10M
fricas_1.3.7-5_amd64.deb
27-Jan-2022 12:24
60M
fricas_1.3.7-5.dsc
27-Jan-2022 11:14
2.3K
fricas_1.3.7-5.debian.tar.xz
27-Jan-2022 11:14
97K
fricas_1.3.7-1_amd64.deb
01-Jul-2021 19:24
53M
fricas_1.3.7-1.dsc
01-Jul-2021 18:13
2.3K
fricas_1.3.7-1.debian.tar.xz
01-Jul-2021 18:13
63K
fricas_1.3.6.orig.tar.bz2
23-Nov-2020 23:18
9.9M
fricas_1.3.6-5_amd64.deb
03-Mar-2021 14:38
52M
fricas_1.3.6-5.dsc
13-Feb-2021 11:18
2.3K
fricas_1.3.6-5.debian.tar.xz
13-Feb-2021 11:18
64K
fricas-test_1.3.7-5_all.deb
27-Jan-2022 12:24
283K
fricas-test_1.3.7-1_all.deb
01-Jul-2021 19:24
278K
fricas-test_1.3.6-5_all.deb
03-Mar-2021 14:38
272K
fricas-source_1.3.7-5_all.deb
27-Jan-2022 12:24
1.3M
fricas-source_1.3.7-1_all.deb
01-Jul-2021 19:24
1.3M
fricas-source_1.3.6-5_all.deb
03-Mar-2021 14:38
1.3M
fricas-hypertex_1.3.7-5_amd64.deb
27-Jan-2022 12:24
98K
fricas-hypertex_1.3.7-1_amd64.deb
01-Jul-2021 19:24
90K
fricas-hypertex_1.3.6-5_amd64.deb
03-Mar-2021 14:38
3.6K
fricas-hypertex-data_1.3.7-5_all.deb
27-Jan-2022 12:24
670K
fricas-hypertex-data_1.3.7-1_all.deb
01-Jul-2021 19:24
629K
fricas-hypertex-data_1.3.6-5_all.deb
03-Mar-2021 14:38
617K
fricas-graphics_1.3.7-5_amd64.deb
27-Jan-2022 12:24
127K
fricas-graphics_1.3.7-1_amd64.deb
01-Jul-2021 19:24
118K
fricas-graphics_1.3.6-5_amd64.deb
03-Mar-2021 14:38
3.6K
fricas-graphics-data_1.3.7-5_all.deb
27-Jan-2022 12:24
1.2M
fricas-graphics-data_1.3.7-1_all.deb
01-Jul-2021 19:24
1.2M
fricas-graphics-data_1.3.6-5_all.deb
03-Mar-2021 14:38
1.2M
fricas-doc_1.3.7-5_all.deb
27-Jan-2022 12:24
211K
fricas-doc_1.3.7-1_all.deb
01-Jul-2021 19:24
202K
fricas-doc_1.3.6-5_all.deb
03-Mar-2021 14:38
202K
fricas-databases_1.3.7-5_all.deb
27-Jan-2022 12:24
1.1M
fricas-databases_1.3.7-1_all.deb
01-Jul-2021 19:24
1.2M
fricas-databases_1.3.6-5_all.deb
03-Mar-2021 14:38
1.1M
elpa-fricas_1.3.7-5_all.deb
27-Jan-2022 12:24
50K
elpa-fricas_1.3.7-1_all.deb
01-Jul-2021 19:24
48K
elpa-fricas_1.3.6-5_all.deb
03-Mar-2021 14:38
47K
Apache/2.2.15 (CentOS) Server at ubuntu.les.net Port 80