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 /ubuntu-ports/pool/universe/f/fricas/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
fricas_1.3.11-2_riscv64.deb172.3 MiB2024-07-29 08:18:38
fricas-graphics_1.3.11-2_riscv64.deb138.8 KiB2024-07-29 08:18:35
fricas-hypertex_1.3.11-2_riscv64.deb103.9 KiB2024-07-29 08:18:35
fricas-hypertex_1.3.11-2_s390x.deb105.8 KiB2024-07-29 00:55:34
fricas_1.3.11-2_s390x.deb56.6 MiB2024-07-29 00:55:34
fricas-graphics_1.3.11-2_s390x.deb140.5 KiB2024-07-29 00:55:34
fricas_1.3.11-2_ppc64el.deb58.2 MiB2024-07-29 00:55:30
fricas-graphics_1.3.11-2_ppc64el.deb140.5 KiB2024-07-29 00:55:29
fricas-hypertex_1.3.11-2_ppc64el.deb108.9 KiB2024-07-29 00:55:29
fricas-graphics_1.3.11-2_armhf.deb116.6 KiB2024-07-29 00:55:28
fricas_1.3.11-2_armhf.deb55.0 MiB2024-07-29 00:55:28
fricas-hypertex_1.3.11-2_armhf.deb84.2 KiB2024-07-29 00:55:28
fricas-graphics_1.3.11-2_arm64.deb125.2 KiB2024-07-29 00:55:27
fricas_1.3.11-2_arm64.deb55.1 MiB2024-07-29 00:55:27
fricas-hypertex_1.3.11-2_arm64.deb94.7 KiB2024-07-29 00:55:27
fricas-databases_1.3.11-2_all.deb1.1 MiB2024-07-28 23:59:46
fricas-doc_1.3.11-2_all.deb210.5 KiB2024-07-28 23:59:46
fricas-hypertex-data_1.3.11-2_all.deb663.6 KiB2024-07-28 23:59:46
fricas-graphics-data_1.3.11-2_all.deb1.2 MiB2024-07-28 23:59:46
elpa-fricas_1.3.11-2_all.deb49.8 KiB2024-07-28 23:59:46
fricas-source_1.3.11-2_all.deb1.3 MiB2024-07-28 23:59:46
fricas-test_1.3.11-2_all.deb156.8 KiB2024-07-28 23:59:46
fricas_1.3.11-2.debian.tar.xz240.7 KiB2024-07-28 23:59:16
fricas_1.3.11-2.dsc2.3 KiB2024-07-28 23:59:16
fricas_1.3.11.orig.tar.bz210.4 MiB2024-06-30 23:49:31
elpa-fricas_1.3.10-1build3_all.deb49.6 KiB2024-04-01 14:43:29
fricas-doc_1.3.10-1build3_all.deb210.3 KiB2024-04-01 14:43:28
fricas-source_1.3.10-1build3_all.deb1.3 MiB2024-04-01 14:43:28
fricas-graphics-data_1.3.10-1build3_all.deb1.2 MiB2024-04-01 14:43:28
fricas-databases_1.3.10-1build3_all.deb1.2 MiB2024-04-01 14:43:28
fricas-hypertex-data_1.3.10-1build3_all.deb666.1 KiB2024-04-01 14:43:28
fricas-test_1.3.10-1build3_all.deb159.4 KiB2024-04-01 14:43:27
fricas_1.3.10-1build3_riscv64.deb198.3 MiB2024-04-01 01:00:30
fricas-hypertex_1.3.10-1build3_riscv64.deb104.4 KiB2024-04-01 01:00:29
fricas-graphics_1.3.10-1build3_riscv64.deb135.4 KiB2024-04-01 01:00:29
fricas_1.3.10-1build3_ppc64el.deb65.6 MiB2024-03-31 11:54:36
fricas-hypertex_1.3.10-1build3_ppc64el.deb112.6 KiB2024-03-31 11:54:35
fricas-graphics_1.3.10-1build3_ppc64el.deb139.2 KiB2024-03-31 11:54:35
fricas_1.3.10-1build3_arm64.deb62.0 MiB2024-03-31 09:59:48
fricas-hypertex_1.3.10-1build3_arm64.deb95.6 KiB2024-03-31 09:59:47
fricas-graphics_1.3.10-1build3_arm64.deb120.7 KiB2024-03-31 09:59:47
fricas_1.3.10-1build3_armhf.deb60.7 MiB2024-03-31 08:12:30
fricas-hypertex_1.3.10-1build3_armhf.deb85.0 KiB2024-03-31 08:12:30
fricas-graphics_1.3.10-1build3_armhf.deb114.9 KiB2024-03-31 08:12:30
fricas-graphics_1.3.10-1build3_s390x.deb140.8 KiB2024-03-31 07:15:00
fricas-hypertex_1.3.10-1build3_s390x.deb108.9 KiB2024-03-31 07:15:00
fricas_1.3.10-1build3_s390x.deb63.9 MiB2024-03-31 07:15:00
fricas_1.3.10-1build3.dsc2.4 KiB2024-03-31 06:12:03
fricas_1.3.10-1build3.debian.tar.xz240.5 KiB2024-03-31 06:12:03
fricas_1.3.10.orig.tar.bz210.5 MiB2024-02-15 12:29:44
fricas-graphics_1.3.7-5_riscv64.deb118.2 KiB2022-01-28 11:19:12
fricas_1.3.7-5_riscv64.deb161.0 MiB2022-01-28 11:19:12
fricas-hypertex_1.3.7-5_riscv64.deb90.3 KiB2022-01-28 11:19:10
fricas_1.3.7-5_armhf.deb58.3 MiB2022-01-27 19:34:00
fricas-graphics_1.3.7-5_armhf.deb114.6 KiB2022-01-27 19:33:59
fricas-hypertex_1.3.7-5_armhf.deb85.5 KiB2022-01-27 19:33:59
fricas-graphics_1.3.7-5_arm64.deb123.8 KiB2022-01-27 18:54:16
fricas_1.3.7-5_arm64.deb57.9 MiB2022-01-27 18:54:16
fricas-hypertex_1.3.7-5_arm64.deb96.6 KiB2022-01-27 18:54:16
fricas_1.3.7-5_s390x.deb56.5 MiB2022-01-27 18:25:04
fricas-hypertex_1.3.7-5_s390x.deb99.1 KiB2022-01-27 18:25:04
fricas-graphics_1.3.7-5_s390x.deb123.2 KiB2022-01-27 18:25:04
fricas_1.3.7-5_ppc64el.deb59.0 MiB2022-01-27 18:24:59
fricas-graphics_1.3.7-5_ppc64el.deb136.7 KiB2022-01-27 18:24:58
fricas-hypertex_1.3.7-5_ppc64el.deb112.2 KiB2022-01-27 18:24:58
fricas-graphics-data_1.3.7-5_all.deb1.2 MiB2022-01-27 18:24:44
fricas-doc_1.3.7-5_all.deb211.2 KiB2022-01-27 18:24:44
fricas-hypertex-data_1.3.7-5_all.deb669.8 KiB2022-01-27 18:24:43
fricas-source_1.3.7-5_all.deb1.3 MiB2022-01-27 18:24:43
elpa-fricas_1.3.7-5_all.deb49.6 KiB2022-01-27 18:24:43
fricas-databases_1.3.7-5_all.deb1.1 MiB2022-01-27 18:24:43
fricas-test_1.3.7-5_all.deb283.4 KiB2022-01-27 18:24:43
fricas_1.3.7-5.dsc2.3 KiB2022-01-27 17:14:11
fricas_1.3.7-5.debian.tar.xz97.1 KiB2022-01-27 17:14:11
fricas_1.3.7.orig.tar.bz210.4 MiB2021-07-01 23:13:42