Index of /ubuntu-ports/pool/universe/f/fricas
Name
Last modified
Size
Parent Directory
-
fricas_1.3.7.orig.tar.bz2
2021-07-01 23:13
10M
fricas_1.3.7-5.dsc
2022-01-27 17:14
2.3K
fricas_1.3.7-5.debian.tar.xz
2022-01-27 17:14
97K
elpa-fricas_1.3.7-5_all.deb
2022-01-27 18:24
50K
fricas-hypertex-data_1.3.7-5_all.deb
2022-01-27 18:24
670K
fricas-databases_1.3.7-5_all.deb
2022-01-27 18:24
1.1M
fricas-source_1.3.7-5_all.deb
2022-01-27 18:24
1.3M
fricas-test_1.3.7-5_all.deb
2022-01-27 18:24
283K
fricas-doc_1.3.7-5_all.deb
2022-01-27 18:24
211K
fricas-graphics-data_1.3.7-5_all.deb
2022-01-27 18:24
1.2M
fricas-graphics_1.3.7-5_ppc64el.deb
2022-01-27 18:24
137K
fricas-hypertex_1.3.7-5_ppc64el.deb
2022-01-27 18:24
112K
fricas_1.3.7-5_ppc64el.deb
2022-01-27 18:24
59M
fricas_1.3.7-5_s390x.deb
2022-01-27 18:25
57M
fricas-graphics_1.3.7-5_s390x.deb
2022-01-27 18:25
123K
fricas-hypertex_1.3.7-5_s390x.deb
2022-01-27 18:25
99K
fricas_1.3.7-5_arm64.deb
2022-01-27 18:54
58M
fricas-hypertex_1.3.7-5_arm64.deb
2022-01-27 18:54
97K
fricas-graphics_1.3.7-5_arm64.deb
2022-01-27 18:54
124K
fricas-hypertex_1.3.7-5_armhf.deb
2022-01-27 19:33
85K
fricas-graphics_1.3.7-5_armhf.deb
2022-01-27 19:33
115K
fricas_1.3.7-5_armhf.deb
2022-01-27 19:34
58M
fricas-hypertex_1.3.7-5_riscv64.deb
2022-01-28 11:19
90K
fricas_1.3.7-5_riscv64.deb
2022-01-28 11:19
161M
fricas-graphics_1.3.7-5_riscv64.deb
2022-01-28 11:19
118K
fricas_1.3.10.orig.tar.bz2
2024-02-15 12:29
10M
fricas_1.3.10-1build3.debian.tar.xz
2024-03-31 06:12
241K
fricas_1.3.10-1build3.dsc
2024-03-31 06:12
2.4K
fricas-hypertex_1.3.10-1build3_s390x.deb
2024-03-31 07:15
109K
fricas-graphics_1.3.10-1build3_s390x.deb
2024-03-31 07:15
141K
fricas_1.3.10-1build3_s390x.deb
2024-03-31 07:15
64M
fricas-hypertex_1.3.10-1build3_armhf.deb
2024-03-31 08:12
85K
fricas-graphics_1.3.10-1build3_armhf.deb
2024-03-31 08:12
115K
fricas_1.3.10-1build3_armhf.deb
2024-03-31 08:12
61M
fricas-hypertex_1.3.10-1build3_arm64.deb
2024-03-31 09:59
96K
fricas-graphics_1.3.10-1build3_arm64.deb
2024-03-31 09:59
121K
fricas_1.3.10-1build3_arm64.deb
2024-03-31 09:59
62M
fricas-hypertex_1.3.10-1build3_ppc64el.deb
2024-03-31 11:54
113K
fricas-graphics_1.3.10-1build3_ppc64el.deb
2024-03-31 11:54
139K
fricas_1.3.10-1build3_ppc64el.deb
2024-03-31 11:54
66M
fricas-hypertex_1.3.10-1build3_riscv64.deb
2024-04-01 01:00
104K
fricas-graphics_1.3.10-1build3_riscv64.deb
2024-04-01 01:00
135K
fricas_1.3.10-1build3_riscv64.deb
2024-04-01 01:00
198M
fricas-test_1.3.10-1build3_all.deb
2024-04-01 14:43
159K
fricas-source_1.3.10-1build3_all.deb
2024-04-01 14:43
1.3M
fricas-hypertex-data_1.3.10-1build3_all.deb
2024-04-01 14:43
666K
fricas-graphics-data_1.3.10-1build3_all.deb
2024-04-01 14:43
1.2M
fricas-doc_1.3.10-1build3_all.deb
2024-04-01 14:43
210K
fricas-databases_1.3.10-1build3_all.deb
2024-04-01 14:43
1.2M
elpa-fricas_1.3.10-1build3_all.deb
2024-04-01 14:43
50K
fricas_1.3.11.orig.tar.bz2
2024-06-30 23:49
10M
fricas_1.3.11-2.dsc
2024-07-28 23:59
2.3K
fricas_1.3.11-2.debian.tar.xz
2024-07-28 23:59
241K
fricas-test_1.3.11-2_all.deb
2024-07-28 23:59
157K
fricas-source_1.3.11-2_all.deb
2024-07-28 23:59
1.3M
fricas-hypertex-data_1.3.11-2_all.deb
2024-07-28 23:59
664K
fricas-graphics-data_1.3.11-2_all.deb
2024-07-28 23:59
1.2M
fricas-doc_1.3.11-2_all.deb
2024-07-28 23:59
211K
fricas-databases_1.3.11-2_all.deb
2024-07-28 23:59
1.1M
elpa-fricas_1.3.11-2_all.deb
2024-07-28 23:59
50K
fricas-hypertex_1.3.11-2_arm64.deb
2024-07-29 00:55
95K
fricas-graphics_1.3.11-2_arm64.deb
2024-07-29 00:55
125K
fricas_1.3.11-2_arm64.deb
2024-07-29 00:55
55M
fricas-hypertex_1.3.11-2_armhf.deb
2024-07-29 00:55
84K
fricas-graphics_1.3.11-2_armhf.deb
2024-07-29 00:55
117K
fricas_1.3.11-2_armhf.deb
2024-07-29 00:55
55M
fricas-hypertex_1.3.11-2_ppc64el.deb
2024-07-29 00:55
109K
fricas-graphics_1.3.11-2_ppc64el.deb
2024-07-29 00:55
140K
fricas_1.3.11-2_ppc64el.deb
2024-07-29 00:55
58M
fricas-hypertex_1.3.11-2_s390x.deb
2024-07-29 00:55
106K
fricas-graphics_1.3.11-2_s390x.deb
2024-07-29 00:55
141K
fricas_1.3.11-2_s390x.deb
2024-07-29 00:55
57M
fricas-hypertex_1.3.11-2_riscv64.deb
2024-07-29 08:18
104K
fricas-graphics_1.3.11-2_riscv64.deb
2024-07-29 08:18
139K
fricas_1.3.11-2_riscv64.deb
2024-07-29 08:18
172M
Apache/2.4.29 (Ubuntu) Server at s.clouds.ports.ubuntu.com Port 80