Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

Index of /mirrors/ubuntu-ports/pool/universe/f/fricas/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
elpa-fricas_1.3.10-1build3_all.deb49.6 KiB2024-04-01 14:43:29
elpa-fricas_1.3.10-2_all.deb49.7 KiB2024-05-03 03:29:59
elpa-fricas_1.3.11-1_all.deb49.6 KiB2024-07-01 00:54:59
elpa-fricas_1.3.7-5_all.deb49.6 KiB2022-01-27 18:24:43
elpa-fricas_1.3.8-6_all.deb49.1 KiB2023-01-14 09:29:16
elpa-fricas_1.3.8-8_all.deb49.2 KiB2023-06-14 00:04:39
fricas-databases_1.3.10-1build3_all.deb1.2 MiB2024-04-01 14:43:28
fricas-databases_1.3.10-2_all.deb1.2 MiB2024-05-03 03:29:58
fricas-databases_1.3.11-1_all.deb1.1 MiB2024-07-01 00:54:58
fricas-databases_1.3.7-5_all.deb1.1 MiB2022-01-27 18:24:43
fricas-databases_1.3.8-6_all.deb1.1 MiB2023-01-14 09:29:16
fricas-databases_1.3.8-8_all.deb1.1 MiB2023-06-14 00:04:39
fricas-doc_1.3.10-1build3_all.deb210.3 KiB2024-04-01 14:43:28
fricas-doc_1.3.10-2_all.deb210.4 KiB2024-05-03 03:29:58
fricas-doc_1.3.11-1_all.deb210.6 KiB2024-07-01 00:54:58
fricas-doc_1.3.7-5_all.deb211.2 KiB2022-01-27 18:24:44
fricas-doc_1.3.8-6_all.deb210.3 KiB2023-01-14 09:29:17
fricas-doc_1.3.8-8_all.deb210.4 KiB2023-06-14 00:04:40
fricas-graphics-data_1.3.10-1build3_all.deb1.2 MiB2024-04-01 14:43:28
fricas-graphics-data_1.3.10-2_all.deb1.2 MiB2024-05-03 03:29:58
fricas-graphics-data_1.3.11-1_all.deb1.2 MiB2024-07-01 00:54:58
fricas-graphics-data_1.3.7-5_all.deb1.2 MiB2022-01-27 18:24:44
fricas-graphics-data_1.3.8-6_all.deb1.2 MiB2023-01-14 09:29:17
fricas-graphics-data_1.3.8-8_all.deb1.2 MiB2023-06-14 00:04:40
fricas-graphics_1.3.10-1build3_arm64.deb120.7 KiB2024-03-31 09:59:47
fricas-graphics_1.3.10-1build3_armhf.deb114.9 KiB2024-03-31 08:12:30
fricas-graphics_1.3.10-1build3_ppc64el.deb139.2 KiB2024-03-31 11:54:35
fricas-graphics_1.3.10-1build3_riscv64.deb135.4 KiB2024-04-01 01:00:29
fricas-graphics_1.3.10-1build3_s390x.deb140.8 KiB2024-03-31 07:15:00
fricas-graphics_1.3.10-2_arm64.deb120.7 KiB2024-05-03 12:05:20
fricas-graphics_1.3.10-2_armhf.deb114.8 KiB2024-05-09 12:20:22
fricas-graphics_1.3.10-2_ppc64el.deb137.5 KiB2024-05-03 04:29:44
fricas-graphics_1.3.10-2_riscv64.deb135.4 KiB2024-05-06 20:08:30
fricas-graphics_1.3.10-2_s390x.deb138.6 KiB2024-05-03 05:22:33
fricas-graphics_1.3.11-1_arm64.deb122.8 KiB2024-07-01 02:59:11
fricas-graphics_1.3.11-1_armhf.deb116.7 KiB2024-07-01 02:59:12
fricas-graphics_1.3.11-1_ppc64el.deb139.9 KiB2024-07-01 00:55:07
fricas-graphics_1.3.11-1_riscv64.deb138.1 KiB2024-07-01 09:16:21
fricas-graphics_1.3.11-1_s390x.deb140.2 KiB2024-07-01 00:55:10
fricas-graphics_1.3.7-5_arm64.deb123.8 KiB2022-01-27 18:54:16
fricas-graphics_1.3.7-5_armhf.deb114.6 KiB2022-01-27 19:33:59
fricas-graphics_1.3.7-5_ppc64el.deb136.7 KiB2022-01-27 18:24:58
fricas-graphics_1.3.7-5_riscv64.deb118.2 KiB2022-01-28 11:19:12
fricas-graphics_1.3.7-5_s390x.deb123.2 KiB2022-01-27 18:25:04
fricas-graphics_1.3.8-6_arm64.deb3.5 KiB2023-01-14 09:48:55
fricas-graphics_1.3.8-6_armhf.deb3.5 KiB2023-01-14 10:48:57
fricas-graphics_1.3.8-6_ppc64el.deb3.5 KiB2023-01-14 09:29:25
fricas-graphics_1.3.8-6_riscv64.deb3.5 KiB2023-01-14 22:14:01
fricas-graphics_1.3.8-6_s390x.deb3.5 KiB2023-01-14 09:29:31
fricas-graphics_1.3.8-8_arm64.deb119.9 KiB2023-06-14 01:14:18
fricas-graphics_1.3.8-8_armhf.deb114.5 KiB2023-06-14 02:14:21
fricas-graphics_1.3.8-8_ppc64el.deb134.2 KiB2023-06-14 00:44:28
fricas-graphics_1.3.8-8_riscv64.deb118.4 KiB2023-06-14 10:48:58
fricas-graphics_1.3.8-8_s390x.deb123.6 KiB2023-06-14 00:44:29
fricas-hypertex-data_1.3.10-1build3_all.deb666.1 KiB2024-04-01 14:43:28
fricas-hypertex-data_1.3.10-2_all.deb666.1 KiB2024-05-03 03:29:58
fricas-hypertex-data_1.3.11-1_all.deb663.6 KiB2024-07-01 00:54:58
fricas-hypertex-data_1.3.7-5_all.deb669.8 KiB2022-01-27 18:24:43
fricas-hypertex-data_1.3.8-6_all.deb636.6 KiB2023-01-14 09:29:16
fricas-hypertex-data_1.3.8-8_all.deb665.4 KiB2023-06-14 00:04:39
fricas-hypertex_1.3.10-1build3_arm64.deb95.6 KiB2024-03-31 09:59:47
fricas-hypertex_1.3.10-1build3_armhf.deb85.0 KiB2024-03-31 08:12:30
fricas-hypertex_1.3.10-1build3_ppc64el.deb112.6 KiB2024-03-31 11:54:35
fricas-hypertex_1.3.10-1build3_riscv64.deb104.4 KiB2024-04-01 01:00:29
fricas-hypertex_1.3.10-1build3_s390x.deb108.9 KiB2024-03-31 07:15:00
fricas-hypertex_1.3.10-2_arm64.deb95.6 KiB2024-05-03 12:05:20
fricas-hypertex_1.3.10-2_armhf.deb85.0 KiB2024-05-09 12:20:22
fricas-hypertex_1.3.10-2_ppc64el.deb111.0 KiB2024-05-03 04:29:43
fricas-hypertex_1.3.10-2_riscv64.deb104.2 KiB2024-05-06 20:08:30
fricas-hypertex_1.3.10-2_s390x.deb107.3 KiB2024-05-03 05:22:33
fricas-hypertex_1.3.11-1_arm64.deb94.6 KiB2024-07-01 02:59:11
fricas-hypertex_1.3.11-1_armhf.deb84.0 KiB2024-07-01 02:59:12
fricas-hypertex_1.3.11-1_ppc64el.deb108.3 KiB2024-07-01 00:55:07
fricas-hypertex_1.3.11-1_riscv64.deb102.7 KiB2024-07-01 09:16:20
fricas-hypertex_1.3.11-1_s390x.deb105.1 KiB2024-07-01 00:55:10
fricas-hypertex_1.3.7-5_arm64.deb96.6 KiB2022-01-27 18:54:16
fricas-hypertex_1.3.7-5_armhf.deb85.5 KiB2022-01-27 19:33:59
fricas-hypertex_1.3.7-5_ppc64el.deb112.2 KiB2022-01-27 18:24:58
fricas-hypertex_1.3.7-5_riscv64.deb90.3 KiB2022-01-28 11:19:10
fricas-hypertex_1.3.7-5_s390x.deb99.1 KiB2022-01-27 18:25:04
fricas-hypertex_1.3.8-6_arm64.deb3.4 KiB2023-01-14 09:48:56
fricas-hypertex_1.3.8-6_armhf.deb3.4 KiB2023-01-14 10:48:57
fricas-hypertex_1.3.8-6_ppc64el.deb3.5 KiB2023-01-14 09:29:24
fricas-hypertex_1.3.8-6_riscv64.deb3.4 KiB2023-01-14 22:14:00
fricas-hypertex_1.3.8-6_s390x.deb3.4 KiB2023-01-14 09:29:31
fricas-hypertex_1.3.8-8_arm64.deb94.7 KiB2023-06-14 01:14:18
fricas-hypertex_1.3.8-8_armhf.deb84.7 KiB2023-06-14 02:14:21
fricas-hypertex_1.3.8-8_ppc64el.deb108.3 KiB2023-06-14 00:44:27
fricas-hypertex_1.3.8-8_riscv64.deb88.9 KiB2023-06-14 10:48:58
fricas-hypertex_1.3.8-8_s390x.deb98.2 KiB2023-06-14 00:44:29
fricas-source_1.3.10-1build3_all.deb1.3 MiB2024-04-01 14:43:28
fricas-source_1.3.10-2_all.deb1.3 MiB2024-05-03 03:29:57
fricas-source_1.3.11-1_all.deb1.3 MiB2024-07-01 00:54:58
fricas-source_1.3.7-5_all.deb1.3 MiB2022-01-27 18:24:43
fricas-source_1.3.8-6_all.deb1.3 MiB2023-01-14 09:29:17
fricas-source_1.3.8-8_all.deb1.3 MiB2023-06-14 00:04:39
fricas-test_1.3.10-1build3_all.deb159.4 KiB2024-04-01 14:43:27
fricas-test_1.3.10-2_all.deb159.4 KiB2024-05-03 03:29:57
fricas-test_1.3.11-1_all.deb156.8 KiB2024-07-01 00:54:58
fricas-test_1.3.7-5_all.deb283.4 KiB2022-01-27 18:24:43
fricas-test_1.3.8-6_all.deb170.9 KiB2023-01-14 09:29:17
fricas-test_1.3.8-8_all.deb171.0 KiB2023-06-14 00:04:39
fricas_1.3.10-1build3.debian.tar.xz240.5 KiB2024-03-31 06:12:03
fricas_1.3.10-1build3.dsc2.4 KiB2024-03-31 06:12:03
fricas_1.3.10-1build3_arm64.deb62.0 MiB2024-03-31 09:59:48
fricas_1.3.10-1build3_armhf.deb60.7 MiB2024-03-31 08:12:30
fricas_1.3.10-1build3_ppc64el.deb65.6 MiB2024-03-31 11:54:36
fricas_1.3.10-1build3_riscv64.deb198.3 MiB2024-04-01 01:00:30
fricas_1.3.10-1build3_s390x.deb63.9 MiB2024-03-31 07:15:00
fricas_1.3.10-2.debian.tar.xz240.6 KiB2024-05-03 01:53:59
fricas_1.3.10-2.dsc2.3 KiB2024-05-03 01:53:59
fricas_1.3.10-2_arm64.deb62.0 MiB2024-05-03 12:05:20
fricas_1.3.10-2_armhf.deb60.7 MiB2024-05-09 12:20:22
fricas_1.3.10-2_ppc64el.deb65.6 MiB2024-05-03 04:29:44
fricas_1.3.10-2_riscv64.deb198.5 MiB2024-05-06 20:08:33
fricas_1.3.10-2_s390x.deb63.6 MiB2024-05-03 05:22:34
fricas_1.3.10.orig.tar.bz210.5 MiB2024-02-15 12:29:44
fricas_1.3.11-1.debian.tar.xz240.7 KiB2024-06-30 23:49:31
fricas_1.3.11-1.dsc2.3 KiB2024-06-30 23:49:31
fricas_1.3.11-1_arm64.deb60.2 MiB2024-07-01 02:59:12
fricas_1.3.11-1_armhf.deb59.3 MiB2024-07-01 02:59:12
fricas_1.3.11-1_ppc64el.deb63.8 MiB2024-07-01 00:55:07
fricas_1.3.11-1_riscv64.deb187.9 MiB2024-07-01 09:16:24
fricas_1.3.11-1_s390x.deb61.6 MiB2024-07-01 00:55:11
fricas_1.3.11.orig.tar.bz210.4 MiB2024-06-30 23:49:31
fricas_1.3.7-5.debian.tar.xz97.1 KiB2022-01-27 17:14:11
fricas_1.3.7-5.dsc2.3 KiB2022-01-27 17:14:11
fricas_1.3.7-5_arm64.deb57.9 MiB2022-01-27 18:54:16
fricas_1.3.7-5_armhf.deb58.3 MiB2022-01-27 19:34:00
fricas_1.3.7-5_ppc64el.deb59.0 MiB2022-01-27 18:24:59
fricas_1.3.7-5_riscv64.deb161.0 MiB2022-01-28 11:19:12
fricas_1.3.7-5_s390x.deb56.5 MiB2022-01-27 18:25:04
fricas_1.3.7.orig.tar.bz210.4 MiB2021-07-01 23:13:42
fricas_1.3.8-6.debian.tar.xz239.5 KiB2023-01-14 05:34:36
fricas_1.3.8-6.dsc2.3 KiB2023-01-14 05:34:36
fricas_1.3.8-6_arm64.deb59.6 MiB2023-01-14 09:48:55
fricas_1.3.8-6_armhf.deb58.9 MiB2023-01-14 10:48:57
fricas_1.3.8-6_ppc64el.deb60.2 MiB2023-01-14 09:29:24
fricas_1.3.8-6_riscv64.deb159.3 MiB2023-01-14 22:14:01
fricas_1.3.8-6_s390x.deb58.8 MiB2023-01-14 09:29:31
fricas_1.3.8-8.debian.tar.xz240.2 KiB2023-06-13 23:35:11
fricas_1.3.8-8.dsc2.3 KiB2023-06-13 23:35:10
fricas_1.3.8-8_arm64.deb59.5 MiB2023-06-14 01:14:18
fricas_1.3.8-8_armhf.deb58.9 MiB2023-06-14 02:14:22
fricas_1.3.8-8_ppc64el.deb60.1 MiB2023-06-14 00:44:27
fricas_1.3.8-8_riscv64.deb158.6 MiB2023-06-14 10:48:59
fricas_1.3.8-8_s390x.deb58.7 MiB2023-06-14 00:44:29
fricas_1.3.8.orig.tar.bz210.4 MiB2022-07-07 23:24:04