Index of /ubuntu/pool/universe/f/fricas
Name
Last modified
Size
Parent Directory
-
fricas_1.3.6.orig.tar.bz2
2020-11-24 05:18
9.9M
fricas_1.3.6-5.dsc
2021-02-13 17:18
2.3K
fricas_1.3.6-5.debian.tar.xz
2021-02-13 17:18
64K
fricas-graphics_1.3.6-5_s390x.deb
2021-03-03 20:19
3.6K
fricas-hypertex_1.3.6-5_s390x.deb
2021-03-03 20:19
3.6K
fricas_1.3.6-5_s390x.deb
2021-03-03 20:19
47M
fricas-databases_1.3.6-5_all.deb
2021-03-03 20:38
1.1M
fricas-doc_1.3.6-5_all.deb
2021-03-03 20:38
202K
fricas-graphics-data_1.3.6-5_all.deb
2021-03-03 20:38
1.2M
fricas-graphics_1.3.6-5_amd64.deb
2021-03-03 20:38
3.6K
fricas-hypertex-data_1.3.6-5_all.deb
2021-03-03 20:38
617K
fricas-hypertex_1.3.6-5_amd64.deb
2021-03-03 20:38
3.6K
fricas-source_1.3.6-5_all.deb
2021-03-03 20:38
1.3M
elpa-fricas_1.3.6-5_all.deb
2021-03-03 20:38
47K
fricas-test_1.3.6-5_all.deb
2021-03-03 20:38
272K
fricas_1.3.6-5_amd64.deb
2021-03-03 20:38
52M
fricas-hypertex_1.3.6-5_ppc64el.deb
2021-03-03 20:38
3.6K
fricas-graphics_1.3.6-5_ppc64el.deb
2021-03-03 20:38
3.6K
fricas_1.3.6-5_ppc64el.deb
2021-03-03 20:38
51M
fricas-graphics_1.3.6-5_arm64.deb
2021-03-03 21:28
3.6K
fricas-graphics_1.3.6-5_armhf.deb
2021-03-03 21:28
3.6K
fricas-hypertex_1.3.6-5_arm64.deb
2021-03-03 21:28
3.6K
fricas-hypertex_1.3.6-5_armhf.deb
2021-03-03 21:28
3.6K
fricas_1.3.6-5_arm64.deb
2021-03-03 21:28
49M
fricas_1.3.6-5_armhf.deb
2021-03-03 21:28
49M
fricas_1.3.7-1.dsc
2021-07-01 23:13
2.3K
fricas_1.3.7-1.debian.tar.xz
2021-07-01 23:13
63K
fricas_1.3.7.orig.tar.bz2
2021-07-01 23:13
10M
fricas-graphics_1.3.7-1_s390x.deb
2021-07-01 23:43
116K
fricas-hypertex_1.3.7-1_s390x.deb
2021-07-01 23:43
97K
fricas_1.3.7-1_s390x.deb
2021-07-01 23:43
47M
fricas-hypertex-data_1.3.7-1_all.deb
2021-07-02 00:24
629K
fricas-hypertex_1.3.7-1_amd64.deb
2021-07-02 00:24
90K
fricas-source_1.3.7-1_all.deb
2021-07-02 00:24
1.3M
fricas_1.3.7-1_amd64.deb
2021-07-02 00:24
53M
fricas-databases_1.3.7-1_all.deb
2021-07-02 00:24
1.2M
fricas-graphics-data_1.3.7-1_all.deb
2021-07-02 00:24
1.2M
fricas-graphics_1.3.7-1_amd64.deb
2021-07-02 00:24
118K
elpa-fricas_1.3.7-1_all.deb
2021-07-02 00:24
48K
fricas-doc_1.3.7-1_all.deb
2021-07-02 00:24
202K
fricas-graphics_1.3.7-1_ppc64el.deb
2021-07-02 00:24
121K
fricas-test_1.3.7-1_all.deb
2021-07-02 00:24
278K
fricas-hypertex_1.3.7-1_ppc64el.deb
2021-07-02 00:24
97K
fricas_1.3.7-1_ppc64el.deb
2021-07-02 00:24
52M
fricas-graphics_1.3.7-1_arm64.deb
2021-07-02 00:43
107K
fricas-hypertex_1.3.7-1_arm64.deb
2021-07-02 00:43
84K
fricas_1.3.7-1_arm64.deb
2021-07-02 00:43
50M
fricas-hypertex_1.3.7-1_armhf.deb
2021-07-02 01:19
78K
fricas_1.3.7-1_armhf.deb
2021-07-02 01:19
50M
fricas-graphics_1.3.7-1_armhf.deb
2021-07-02 01:19
103K
fricas_1.3.8-1.dsc
2022-07-07 23:24
2.3K
fricas_1.3.8-1.debian.tar.xz
2022-07-07 23:24
239K
fricas_1.3.8.orig.tar.bz2
2022-07-07 23:24
10M
elpa-fricas_1.3.8-1_all.deb
2022-07-07 23:43
49K
fricas-hypertex-data_1.3.8-1_all.deb
2022-07-07 23:43
666K
fricas-hypertex_1.3.8-1_amd64.deb
2022-07-07 23:43
96K
fricas-source_1.3.8-1_all.deb
2022-07-07 23:43
1.3M
fricas-databases_1.3.8-1_all.deb
2022-07-07 23:44
1.1M
fricas-doc_1.3.8-1_all.deb
2022-07-07 23:44
210K
fricas-graphics-data_1.3.8-1_all.deb
2022-07-07 23:44
1.2M
fricas-graphics_1.3.8-1_amd64.deb
2022-07-07 23:44
126K
fricas-test_1.3.8-1_all.deb
2022-07-07 23:44
171K
fricas_1.3.8-1_amd64.deb
2022-07-07 23:44
59M
fricas-graphics_1.3.8-1_ppc64el.deb
2022-07-08 00:04
136K
fricas-hypertex_1.3.8-1_ppc64el.deb
2022-07-08 00:04
112K
fricas_1.3.8-1_ppc64el.deb
2022-07-08 00:04
59M
fricas-graphics_1.3.8-1_s390x.deb
2022-07-08 00:04
123K
fricas-hypertex_1.3.8-1_s390x.deb
2022-07-08 00:04
98K
fricas_1.3.8-1_s390x.deb
2022-07-08 00:04
55M
fricas-graphics_1.3.8-1_arm64.deb
2022-07-08 01:04
123K
fricas-hypertex_1.3.8-1_arm64.deb
2022-07-08 01:04
96K
fricas_1.3.8-1_arm64.deb
2022-07-08 01:04
57M
fricas-graphics_1.3.8-1_armhf.deb
2022-07-08 01:54
115K
fricas-hypertex_1.3.8-1_armhf.deb
2022-07-08 01:54
85K
fricas_1.3.8-1_armhf.deb
2022-07-08 01:54
58M
fricas-graphics_1.3.8-1_riscv64.deb
2022-07-08 13:48
117K
fricas-hypertex_1.3.8-1_riscv64.deb
2022-07-08 13:48
89K
fricas_1.3.8-1_riscv64.deb
2022-07-08 13:48
155M
fricas_1.3.8-6.debian.tar.xz
2023-01-14 05:34
239K
fricas_1.3.8-6.dsc
2023-01-14 05:34
2.3K
elpa-fricas_1.3.8-6_all.deb
2023-01-14 09:29
49K
fricas-databases_1.3.8-6_all.deb
2023-01-14 09:29
1.1M
fricas-graphics_1.3.8-6_amd64.deb
2023-01-14 09:29
3.4K
fricas-hypertex-data_1.3.8-6_all.deb
2023-01-14 09:29
637K
fricas-doc_1.3.8-6_all.deb
2023-01-14 09:29
210K
fricas-graphics-data_1.3.8-6_all.deb
2023-01-14 09:29
1.2M
fricas-hypertex_1.3.8-6_amd64.deb
2023-01-14 09:29
3.4K
fricas-source_1.3.8-6_all.deb
2023-01-14 09:29
1.3M
fricas-test_1.3.8-6_all.deb
2023-01-14 09:29
171K
fricas_1.3.8-6_amd64.deb
2023-01-14 09:29
62M
fricas-hypertex_1.3.8-6_ppc64el.deb
2023-01-14 09:29
3.5K
fricas_1.3.8-6_ppc64el.deb
2023-01-14 09:29
60M
fricas-graphics_1.3.8-6_ppc64el.deb
2023-01-14 09:29
3.5K
fricas-graphics_1.3.8-6_s390x.deb
2023-01-14 09:29
3.5K
fricas-hypertex_1.3.8-6_s390x.deb
2023-01-14 09:29
3.4K
fricas_1.3.8-6_s390x.deb
2023-01-14 09:29
59M
fricas-graphics_1.3.8-6_arm64.deb
2023-01-14 09:48
3.5K
fricas_1.3.8-6_arm64.deb
2023-01-14 09:48
60M
fricas-hypertex_1.3.8-6_arm64.deb
2023-01-14 09:48
3.4K
fricas-graphics_1.3.8-6_armhf.deb
2023-01-14 10:48
3.5K
fricas-hypertex_1.3.8-6_armhf.deb
2023-01-14 10:48
3.4K
fricas_1.3.8-6_armhf.deb
2023-01-14 10:48
59M
fricas-hypertex_1.3.8-6_riscv64.deb
2023-01-14 22:14
3.4K
fricas-graphics_1.3.8-6_riscv64.deb
2023-01-14 22:14
3.5K
fricas_1.3.8-6_riscv64.deb
2023-01-14 22:14
159M
fricas_1.3.8-8.dsc
2023-06-13 23:35
2.3K
fricas_1.3.8-8.debian.tar.xz
2023-06-13 23:35
240K
elpa-fricas_1.3.8-8_all.deb
2023-06-14 00:04
49K
fricas-databases_1.3.8-8_all.deb
2023-06-14 00:04
1.1M
fricas-graphics_1.3.8-8_amd64.deb
2023-06-14 00:04
127K
fricas-hypertex-data_1.3.8-8_all.deb
2023-06-14 00:04
665K
fricas-hypertex_1.3.8-8_amd64.deb
2023-06-14 00:04
96K
fricas-source_1.3.8-8_all.deb
2023-06-14 00:04
1.3M
fricas-test_1.3.8-8_all.deb
2023-06-14 00:04
171K
fricas-doc_1.3.8-8_all.deb
2023-06-14 00:04
210K
fricas-graphics-data_1.3.8-8_all.deb
2023-06-14 00:04
1.2M
fricas_1.3.8-8_amd64.deb
2023-06-14 00:04
62M
fricas-hypertex_1.3.8-8_ppc64el.deb
2023-06-14 00:44
108K
fricas_1.3.8-8_ppc64el.deb
2023-06-14 00:44
60M
fricas-graphics_1.3.8-8_ppc64el.deb
2023-06-14 00:44
134K
fricas-graphics_1.3.8-8_s390x.deb
2023-06-14 00:44
124K
fricas-hypertex_1.3.8-8_s390x.deb
2023-06-14 00:44
98K
fricas_1.3.8-8_s390x.deb
2023-06-14 00:44
59M
fricas-graphics_1.3.8-8_arm64.deb
2023-06-14 01:14
120K
fricas-hypertex_1.3.8-8_arm64.deb
2023-06-14 01:14
95K
fricas_1.3.8-8_arm64.deb
2023-06-14 01:14
60M
fricas-graphics_1.3.8-8_armhf.deb
2023-06-14 02:14
115K
fricas-hypertex_1.3.8-8_armhf.deb
2023-06-14 02:14
85K
fricas_1.3.8-8_armhf.deb
2023-06-14 02:14
59M
fricas-graphics_1.3.8-8_riscv64.deb
2023-06-14 10:48
118K
fricas-hypertex_1.3.8-8_riscv64.deb
2023-06-14 10:48
89K
fricas_1.3.8-8_riscv64.deb
2023-06-14 10:48
159M
Apache/2.4.29 (Ubuntu) Server at old-releases.ubuntu.com Port 443