Index of /ubuntu/pool/universe/f/fricas
Name
Last modified
Size
Description
Parent Directory
-
elpa-fricas_1.3.11-2_all.deb
2024-07-28 23:59
50K
fricas_1.3.11-2_amd64.deb
2024-07-28 23:59
57M
fricas-databases_1.3.11-2_all.deb
2024-07-28 23:59
1.1M
fricas-doc_1.3.11-2_all.deb
2024-07-28 23:59
211K
fricas-graphics_1.3.11-2_amd64.deb
2024-07-28 23:59
127K
fricas-graphics-data_1.3.11-2_all.deb
2024-07-28 23:59
1.2M
fricas-hypertex_1.3.11-2_amd64.deb
2024-07-28 23:59
95K
fricas-hypertex-data_1.3.11-2_all.deb
2024-07-28 23:59
664K
fricas-source_1.3.11-2_all.deb
2024-07-28 23:59
1.3M
fricas-test_1.3.11-2_all.deb
2024-07-28 23:59
157K
fricas_1.3.11-2.debian.tar.xz
2024-07-28 23:59
241K
fricas_1.3.11-2.dsc
2024-07-28 23:59
2.3K
elpa-fricas_1.3.11-1_all.deb
2024-07-01 00:54
50K
fricas_1.3.11-1_amd64.deb
2024-07-01 00:54
61M
fricas-databases_1.3.11-1_all.deb
2024-07-01 00:54
1.1M
fricas-doc_1.3.11-1_all.deb
2024-07-01 00:54
211K
fricas-graphics_1.3.11-1_amd64.deb
2024-07-01 00:54
126K
fricas-graphics-data_1.3.11-1_all.deb
2024-07-01 00:54
1.2M
fricas-hypertex_1.3.11-1_amd64.deb
2024-07-01 00:54
94K
fricas-hypertex-data_1.3.11-1_all.deb
2024-07-01 00:54
664K
fricas-source_1.3.11-1_all.deb
2024-07-01 00:54
1.3M
fricas-test_1.3.11-1_all.deb
2024-07-01 00:54
157K
fricas_1.3.11-1.debian.tar.xz
2024-06-30 23:49
241K
fricas_1.3.11.orig.tar.bz2
2024-06-30 23:49
10M
fricas_1.3.11-1.dsc
2024-06-30 23:49
2.3K
elpa-fricas_1.3.10-2_all.deb
2024-05-03 03:29
50K
fricas_1.3.10-2_amd64.deb
2024-05-03 03:29
63M
fricas-databases_1.3.10-2_all.deb
2024-05-03 03:29
1.2M
fricas-doc_1.3.10-2_all.deb
2024-05-03 03:29
210K
fricas-graphics_1.3.10-2_amd64.deb
2024-05-03 03:29
125K
fricas-graphics-data_1.3.10-2_all.deb
2024-05-03 03:29
1.2M
fricas-hypertex_1.3.10-2_amd64.deb
2024-05-03 03:29
96K
fricas-hypertex-data_1.3.10-2_all.deb
2024-05-03 03:29
666K
fricas-source_1.3.10-2_all.deb
2024-05-03 03:29
1.3M
fricas-test_1.3.10-2_all.deb
2024-05-03 03:29
159K
fricas_1.3.10-2.debian.tar.xz
2024-05-03 01:53
241K
fricas_1.3.10-2.dsc
2024-05-03 01:53
2.3K
elpa-fricas_1.3.10-1build3_all.deb
2024-04-01 14:43
50K
fricas_1.3.10-1build3_amd64.deb
2024-04-01 14:43
63M
fricas-databases_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-graphics_1.3.10-1build3_amd64.deb
2024-04-01 14:43
125K
fricas-graphics-data_1.3.10-1build3_all.deb
2024-04-01 14:43
1.2M
fricas-hypertex_1.3.10-1build3_amd64.deb
2024-04-01 14:43
96K
fricas-hypertex-data_1.3.10-1build3_all.deb
2024-04-01 14:43
666K
fricas-source_1.3.10-1build3_all.deb
2024-04-01 14:43
1.3M
fricas-test_1.3.10-1build3_all.deb
2024-04-01 14:43
159K
fricas_1.3.10-1build3.dsc
2024-03-31 06:12
2.4K
fricas_1.3.10-1build3.debian.tar.xz
2024-03-31 06:12
241K
fricas_1.3.10.orig.tar.bz2
2024-02-15 12:29
10M
fricas-graphics-data_1.3.8-8_all.deb
2023-06-14 00:04
1.2M
fricas-doc_1.3.8-8_all.deb
2023-06-14 00:04
210K
fricas_1.3.8-8_amd64.deb
2023-06-14 00:04
62M
fricas-databases_1.3.8-8_all.deb
2023-06-14 00:04
1.1M
fricas-hypertex_1.3.8-8_amd64.deb
2023-06-14 00:04
96K
elpa-fricas_1.3.8-8_all.deb
2023-06-14 00:04
49K
fricas-graphics_1.3.8-8_amd64.deb
2023-06-14 00:04
127K
fricas-test_1.3.8-8_all.deb
2023-06-14 00:04
171K
fricas-source_1.3.8-8_all.deb
2023-06-14 00:04
1.3M
fricas-hypertex-data_1.3.8-8_all.deb
2023-06-14 00:04
665K
fricas_1.3.8-8.debian.tar.xz
2023-06-13 23:35
240K
fricas_1.3.8-8.dsc
2023-06-13 23:35
2.3K
fricas-graphics_1.3.8-7_amd64.deb
2023-06-09 00:09
127K
elpa-fricas_1.3.8-7_all.deb
2023-06-09 00:09
49K
fricas-test_1.3.8-7_all.deb
2023-06-09 00:09
171K
fricas_1.3.8-7_amd64.deb
2023-06-09 00:09
62M
fricas-hypertex_1.3.8-7_amd64.deb
2023-06-09 00:09
96K
fricas-databases_1.3.8-7_all.deb
2023-06-09 00:09
1.1M
fricas-graphics-data_1.3.8-7_all.deb
2023-06-09 00:09
1.2M
fricas-doc_1.3.8-7_all.deb
2023-06-09 00:09
210K
fricas-hypertex-data_1.3.8-7_all.deb
2023-06-09 00:09
666K
fricas-source_1.3.8-7_all.deb
2023-06-09 00:09
1.3M
fricas_1.3.8-7.debian.tar.xz
2023-06-09 00:09
240K
fricas_1.3.8-7.dsc
2023-06-09 00:09
2.3K
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-doc_1.3.8-6_all.deb
2023-01-14 09:29
210K
fricas-test_1.3.8-6_all.deb
2023-01-14 09:29
171K
fricas-graphics-data_1.3.8-6_all.deb
2023-01-14 09:29
1.2M
fricas_1.3.8-6_amd64.deb
2023-01-14 09:29
62M
fricas-graphics_1.3.8-6_amd64.deb
2023-01-14 09:29
3.4K
elpa-fricas_1.3.8-6_all.deb
2023-01-14 09:29
49K
fricas-hypertex-data_1.3.8-6_all.deb
2023-01-14 09:29
637K
fricas-databases_1.3.8-6_all.deb
2023-01-14 09:29
1.1M
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
fricas-databases_1.3.8-5_all.deb
2022-12-26 06:08
1.1M
fricas_1.3.8-5_amd64.deb
2022-12-26 06:08
63M
elpa-fricas_1.3.8-5_all.deb
2022-12-26 06:08
49K
fricas-graphics_1.3.8-5_amd64.deb
2022-12-26 06:08
3.4K
fricas-doc_1.3.8-5_all.deb
2022-12-26 06:08
210K
fricas-graphics-data_1.3.8-5_all.deb
2022-12-26 06:08
1.2M
fricas-test_1.3.8-5_all.deb
2022-12-26 06:08
171K
fricas-hypertex_1.3.8-5_amd64.deb
2022-12-26 06:08
3.4K
fricas-source_1.3.8-5_all.deb
2022-12-26 06:08
1.3M
fricas-hypertex-data_1.3.8-5_all.deb
2022-12-26 06:08
636K
fricas_1.3.8-5.debian.tar.xz
2022-12-26 05:44
239K
fricas_1.3.8-5.dsc
2022-12-26 05:44
2.3K
fricas-source_1.3.8-4_all.deb
2022-12-23 06:09
1.3M
fricas-graphics_1.3.8-4_amd64.deb
2022-12-23 06:09
3.4K
fricas_1.3.8-4_amd64.deb
2022-12-23 06:09
59M
fricas-hypertex_1.3.8-4_amd64.deb
2022-12-23 06:09
3.4K
fricas-graphics-data_1.3.8-4_all.deb
2022-12-23 06:09
1.2M
fricas-databases_1.3.8-4_all.deb
2022-12-23 06:09
1.1M
fricas-hypertex-data_1.3.8-4_all.deb
2022-12-23 06:09
637K
fricas-doc_1.3.8-4_all.deb
2022-12-23 06:09
210K
elpa-fricas_1.3.8-4_all.deb
2022-12-23 06:09
49K
fricas-test_1.3.8-4_all.deb
2022-12-23 06:08
171K
fricas_1.3.8-4.debian.tar.xz
2022-12-23 05:19
239K
fricas_1.3.8-4.dsc
2022-12-23 05:19
2.3K
fricas_1.3.8-3.debian.tar.xz
2022-12-22 17:29
239K
fricas_1.3.8-3.dsc
2022-12-22 17:29
2.3K
fricas_1.3.8-2.debian.tar.xz
2022-12-21 23:24
239K
fricas_1.3.8-2.dsc
2022-12-21 23:24
2.3K
fricas_1.3.8-1_amd64.deb
2022-07-07 23:44
59M
fricas-test_1.3.8-1_all.deb
2022-07-07 23:44
171K
fricas-doc_1.3.8-1_all.deb
2022-07-07 23:44
210K
fricas-graphics_1.3.8-1_amd64.deb
2022-07-07 23:44
126K
fricas-graphics-data_1.3.8-1_all.deb
2022-07-07 23:44
1.2M
fricas-databases_1.3.8-1_all.deb
2022-07-07 23:44
1.1M
fricas-source_1.3.8-1_all.deb
2022-07-07 23:43
1.3M
fricas-hypertex-data_1.3.8-1_all.deb
2022-07-07 23:43
666K
elpa-fricas_1.3.8-1_all.deb
2022-07-07 23:43
49K
fricas-hypertex_1.3.8-1_amd64.deb
2022-07-07 23:43
96K
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
fricas_1.3.8-1.dsc
2022-07-07 23:24
2.3K
fricas_1.3.7-5_amd64.deb
2022-01-27 18:24
60M
fricas-hypertex_1.3.7-5_amd64.deb
2022-01-27 18:24
98K
fricas-graphics_1.3.7-5_amd64.deb
2022-01-27 18:24
127K
fricas-graphics-data_1.3.7-5_all.deb
2022-01-27 18:24
1.2M
fricas-doc_1.3.7-5_all.deb
2022-01-27 18:24
211K
fricas-test_1.3.7-5_all.deb
2022-01-27 18:24
283K
fricas-source_1.3.7-5_all.deb
2022-01-27 18:24
1.3M
fricas-databases_1.3.7-5_all.deb
2022-01-27 18:24
1.1M
fricas-hypertex-data_1.3.7-5_all.deb
2022-01-27 18:24
670K
elpa-fricas_1.3.7-5_all.deb
2022-01-27 18:24
50K
fricas_1.3.7-5.debian.tar.xz
2022-01-27 17:14
97K
fricas_1.3.7-5.dsc
2022-01-27 17:14
2.3K
elpa-fricas_1.3.7-4_all.deb
2022-01-26 23:54
50K
fricas-hypertex-data_1.3.7-4_all.deb
2022-01-26 23:54
670K
fricas-source_1.3.7-4_all.deb
2022-01-26 23:54
1.3M
fricas-databases_1.3.7-4_all.deb
2022-01-26 23:54
1.1M
fricas-graphics-data_1.3.7-4_all.deb
2022-01-26 23:54
1.2M
fricas-graphics_1.3.7-4_amd64.deb
2022-01-26 23:54
127K
fricas-doc_1.3.7-4_all.deb
2022-01-26 23:54
211K
fricas-test_1.3.7-4_all.deb
2022-01-26 23:54
284K
fricas_1.3.7-4_amd64.deb
2022-01-26 23:54
60M
fricas-hypertex_1.3.7-4_amd64.deb
2022-01-26 23:54
97K
fricas_1.3.7-4.debian.tar.xz
2022-01-26 23:34
63K
fricas_1.3.7-4.dsc
2022-01-26 23:34
2.3K
fricas-graphics_1.3.7-3_amd64.deb
2021-11-14 11:09
127K
fricas-databases_1.3.7-3_all.deb
2021-11-14 11:09
1.1M
fricas-source_1.3.7-3_all.deb
2021-11-14 11:09
1.3M
fricas-hypertex_1.3.7-3_amd64.deb
2021-11-14 11:09
97K
fricas_1.3.7-3_amd64.deb
2021-11-14 11:09
60M
fricas-hypertex-data_1.3.7-3_all.deb
2021-11-14 11:09
670K
elpa-fricas_1.3.7-3_all.deb
2021-11-14 11:09
50K
fricas-doc_1.3.7-3_all.deb
2021-11-14 11:09
211K
fricas-graphics-data_1.3.7-3_all.deb
2021-11-14 11:09
1.2M
fricas-test_1.3.7-3_all.deb
2021-11-14 11:09
283K
fricas_1.3.7-3.debian.tar.xz
2021-10-18 20:09
63K
fricas_1.3.7-3.dsc
2021-10-18 20:09
2.3K
fricas-test_1.3.7-1_all.deb
2021-07-02 00:24
278K
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_amd64.deb
2021-07-02 00:24
118K
fricas-graphics-data_1.3.7-1_all.deb
2021-07-02 00:24
1.2M
fricas-databases_1.3.7-1_all.deb
2021-07-02 00:24
1.2M
fricas-source_1.3.7-1_all.deb
2021-07-02 00:24
1.3M
fricas-hypertex_1.3.7-1_amd64.deb
2021-07-02 00:24
90K
fricas_1.3.7-1_amd64.deb
2021-07-02 00:24
53M
fricas-hypertex-data_1.3.7-1_all.deb
2021-07-02 00:24
629K
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_1.3.7-1.dsc
2021-07-01 23:13
2.3K
fricas-test_1.3.6-6_all.deb
2021-04-29 13:39
272K
fricas-graphics_1.3.6-6_amd64.deb
2021-04-29 13:39
119K
fricas-hypertex_1.3.6-6_amd64.deb
2021-04-29 13:39
90K
fricas-graphics-data_1.3.6-6_all.deb
2021-04-29 13:39
1.2M
fricas-hypertex-data_1.3.6-6_all.deb
2021-04-29 13:39
644K
fricas_1.3.6-6_amd64.deb
2021-04-29 13:39
52M
elpa-fricas_1.3.6-6_all.deb
2021-04-29 13:39
47K
fricas-databases_1.3.6-6_all.deb
2021-04-29 13:39
1.1M
fricas-source_1.3.6-6_all.deb
2021-04-29 13:39
1.3M
fricas-doc_1.3.6-6_all.deb
2021-04-29 13:39
202K
fricas_1.3.6-6.debian.tar.xz
2021-04-29 12:23
65K
fricas_1.3.6-6.dsc
2021-04-29 12:23
2.3K
fricas-test_1.3.6-5_all.deb
2021-03-03 20:38
272K
elpa-fricas_1.3.6-5_all.deb
2021-03-03 20:38
47K
fricas_1.3.6-5_amd64.deb
2021-03-03 20:38
52M
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
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-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-databases_1.3.6-5_all.deb
2021-03-03 20:38
1.1M
fricas_1.3.6-5.debian.tar.xz
2021-02-13 17:18
64K
fricas_1.3.6-5.dsc
2021-02-13 17:18
2.3K
fricas_1.3.6-4.debian.tar.xz
2021-02-13 05:13
65K
fricas_1.3.6-4.dsc
2021-02-13 05:13
2.5K
fricas-test_1.3.6-3_all.deb
2020-11-29 06:23
272K
fricas-hypertex_1.3.6-3_amd64.deb
2020-11-29 06:23
91K
fricas-graphics_1.3.6-3_amd64.deb
2020-11-29 06:23
119K
fricas-doc_1.3.6-3_all.deb
2020-11-29 06:23
200K
fricas_1.3.6-3_amd64.deb
2020-11-29 06:23
52M
fricas-source_1.3.6-3_all.deb
2020-11-29 06:23
1.3M
fricas-hypertex-data_1.3.6-3_all.deb
2020-11-29 06:23
644K
fricas-graphics-data_1.3.6-3_all.deb
2020-11-29 06:23
1.2M
fricas-databases_1.3.6-3_all.deb
2020-11-29 06:23
1.1M
elpa-fricas_1.3.6-3_all.deb
2020-11-29 06:23
47K
fricas_1.3.6-3.dsc
2020-11-29 05:29
2.4K
fricas_1.3.6-3.debian.tar.xz
2020-11-29 05:29
60K
fricas_1.3.6-2_amd64.deb
2020-11-28 18:23
52M
fricas-hypertex_1.3.6-2_amd64.deb
2020-11-28 18:23
91K
elpa-fricas_1.3.6-2_all.deb
2020-11-28 18:23
47K
fricas-test_1.3.6-2_all.deb
2020-11-28 18:23
272K
fricas-source_1.3.6-2_all.deb
2020-11-28 18:23
1.3M
fricas-hypertex-data_1.3.6-2_all.deb
2020-11-28 18:23
644K
fricas-doc_1.3.6-2_all.deb
2020-11-28 18:23
200K
fricas-databases_1.3.6-2_all.deb
2020-11-28 18:23
1.1M
fricas-graphics_1.3.6-2_amd64.deb
2020-11-28 18:23
119K
fricas-graphics-data_1.3.6-2_all.deb
2020-11-28 18:23
1.2M
fricas_1.3.6-2.dsc
2020-11-28 17:24
2.4K
fricas_1.3.6-2.debian.tar.xz
2020-11-28 17:24
60K
fricas_1.3.6-1_amd64.deb
2020-11-24 07:33
52M
fricas-test_1.3.6-1_all.deb
2020-11-24 07:33
272K
fricas-hypertex-data_1.3.6-1_all.deb
2020-11-24 07:33
644K
fricas-graphics-data_1.3.6-1_all.deb
2020-11-24 07:33
1.2M
fricas-source_1.3.6-1_all.deb
2020-11-24 07:33
1.3M
fricas-hypertex_1.3.6-1_amd64.deb
2020-11-24 07:33
91K
fricas-graphics_1.3.6-1_amd64.deb
2020-11-24 07:33
119K
fricas-doc_1.3.6-1_all.deb
2020-11-24 07:33
200K
fricas-databases_1.3.6-1_all.deb
2020-11-24 07:33
1.1M
elpa-fricas_1.3.6-1_all.deb
2020-11-24 07:33
47K
fricas_1.3.6.orig.tar.bz2
2020-11-24 05:18
9.9M
fricas_1.3.6-1.dsc
2020-11-24 05:18
2.4K
fricas_1.3.6-1.debian.tar.xz
2020-11-24 05:18
60K
Apache/2.4.12 (Ubuntu) Server at 212.25.29.199 Port 8080