Index of /pool/universe/f/fricas

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]fricas_1.3.7.orig.tar.bz22021-07-01 23:13 10M
[   ]fricas_1.3.7-5.dsc2022-01-27 17:14 2.3K
[   ]fricas_1.3.7-5.debian.tar.xz2022-01-27 17:14 97K
[   ]elpa-fricas_1.3.7-5_all.deb2022-01-27 18:24 50K
[   ]fricas-hypertex-data_1.3.7-5_all.deb2022-01-27 18:24 670K
[   ]fricas-databases_1.3.7-5_all.deb2022-01-27 18:24 1.1M
[   ]fricas-source_1.3.7-5_all.deb2022-01-27 18:24 1.3M
[   ]fricas-test_1.3.7-5_all.deb2022-01-27 18:24 283K
[   ]fricas-doc_1.3.7-5_all.deb2022-01-27 18:24 211K
[   ]fricas-graphics-data_1.3.7-5_all.deb2022-01-27 18:24 1.2M
[   ]fricas-graphics_1.3.7-5_ppc64el.deb2022-01-27 18:24 137K
[   ]fricas-hypertex_1.3.7-5_ppc64el.deb2022-01-27 18:24 112K
[   ]fricas_1.3.7-5_ppc64el.deb2022-01-27 18:24 59M
[   ]fricas_1.3.7-5_s390x.deb2022-01-27 18:25 57M
[   ]fricas-graphics_1.3.7-5_s390x.deb2022-01-27 18:25 123K
[   ]fricas-hypertex_1.3.7-5_s390x.deb2022-01-27 18:25 99K
[   ]fricas_1.3.7-5_arm64.deb2022-01-27 18:54 58M
[   ]fricas-hypertex_1.3.7-5_arm64.deb2022-01-27 18:54 97K
[   ]fricas-graphics_1.3.7-5_arm64.deb2022-01-27 18:54 124K
[   ]fricas-hypertex_1.3.7-5_armhf.deb2022-01-27 19:33 85K
[   ]fricas-graphics_1.3.7-5_armhf.deb2022-01-27 19:33 115K
[   ]fricas_1.3.7-5_armhf.deb2022-01-27 19:34 58M
[   ]fricas-hypertex_1.3.7-5_riscv64.deb2022-01-28 11:19 90K
[   ]fricas_1.3.7-5_riscv64.deb2022-01-28 11:19 161M
[   ]fricas-graphics_1.3.7-5_riscv64.deb2022-01-28 11:19 118K
[   ]fricas_1.3.10.orig.tar.bz22024-02-15 12:29 10M
[   ]fricas_1.3.10-1build3.debian.tar.xz2024-03-31 06:12 241K
[   ]fricas_1.3.10-1build3.dsc2024-03-31 06:12 2.4K
[   ]fricas-hypertex_1.3.10-1build3_s390x.deb2024-03-31 07:15 109K
[   ]fricas-graphics_1.3.10-1build3_s390x.deb2024-03-31 07:15 141K
[   ]fricas_1.3.10-1build3_s390x.deb2024-03-31 07:15 64M
[   ]fricas-hypertex_1.3.10-1build3_armhf.deb2024-03-31 08:12 85K
[   ]fricas-graphics_1.3.10-1build3_armhf.deb2024-03-31 08:12 115K
[   ]fricas_1.3.10-1build3_armhf.deb2024-03-31 08:12 61M
[   ]fricas-hypertex_1.3.10-1build3_arm64.deb2024-03-31 09:59 96K
[   ]fricas-graphics_1.3.10-1build3_arm64.deb2024-03-31 09:59 121K
[   ]fricas_1.3.10-1build3_arm64.deb2024-03-31 09:59 62M
[   ]fricas-hypertex_1.3.10-1build3_ppc64el.deb2024-03-31 11:54 113K
[   ]fricas-graphics_1.3.10-1build3_ppc64el.deb2024-03-31 11:54 139K
[   ]fricas_1.3.10-1build3_ppc64el.deb2024-03-31 11:54 66M
[   ]fricas-hypertex_1.3.10-1build3_riscv64.deb2024-04-01 01:00 104K
[   ]fricas-graphics_1.3.10-1build3_riscv64.deb2024-04-01 01:00 135K
[   ]fricas_1.3.10-1build3_riscv64.deb2024-04-01 01:00 198M
[   ]fricas-test_1.3.10-1build3_all.deb2024-04-01 14:43 159K
[   ]fricas-source_1.3.10-1build3_all.deb2024-04-01 14:43 1.3M
[   ]fricas-hypertex-data_1.3.10-1build3_all.deb2024-04-01 14:43 666K
[   ]fricas-graphics-data_1.3.10-1build3_all.deb2024-04-01 14:43 1.2M
[   ]fricas-doc_1.3.10-1build3_all.deb2024-04-01 14:43 210K
[   ]fricas-databases_1.3.10-1build3_all.deb2024-04-01 14:43 1.2M
[   ]elpa-fricas_1.3.10-1build3_all.deb2024-04-01 14:43 50K
[   ]fricas_1.3.11.orig.tar.bz22024-06-30 23:49 10M
[   ]fricas_1.3.11-2.dsc2024-07-28 23:59 2.3K
[   ]fricas_1.3.11-2.debian.tar.xz2024-07-28 23:59 241K
[   ]fricas-test_1.3.11-2_all.deb2024-07-28 23:59 157K
[   ]fricas-source_1.3.11-2_all.deb2024-07-28 23:59 1.3M
[   ]fricas-hypertex-data_1.3.11-2_all.deb2024-07-28 23:59 664K
[   ]fricas-graphics-data_1.3.11-2_all.deb2024-07-28 23:59 1.2M
[   ]fricas-doc_1.3.11-2_all.deb2024-07-28 23:59 211K
[   ]fricas-databases_1.3.11-2_all.deb2024-07-28 23:59 1.1M
[   ]elpa-fricas_1.3.11-2_all.deb2024-07-28 23:59 50K
[   ]fricas-hypertex_1.3.11-2_arm64.deb2024-07-29 00:55 95K
[   ]fricas-graphics_1.3.11-2_arm64.deb2024-07-29 00:55 125K
[   ]fricas_1.3.11-2_arm64.deb2024-07-29 00:55 55M
[   ]fricas-hypertex_1.3.11-2_armhf.deb2024-07-29 00:55 84K
[   ]fricas-graphics_1.3.11-2_armhf.deb2024-07-29 00:55 117K
[   ]fricas_1.3.11-2_armhf.deb2024-07-29 00:55 55M
[   ]fricas-hypertex_1.3.11-2_ppc64el.deb2024-07-29 00:55 109K
[   ]fricas-graphics_1.3.11-2_ppc64el.deb2024-07-29 00:55 140K
[   ]fricas_1.3.11-2_ppc64el.deb2024-07-29 00:55 58M
[   ]fricas-hypertex_1.3.11-2_s390x.deb2024-07-29 00:55 106K
[   ]fricas-graphics_1.3.11-2_s390x.deb2024-07-29 00:55 141K
[   ]fricas_1.3.11-2_s390x.deb2024-07-29 00:55 57M
[   ]fricas-hypertex_1.3.11-2_riscv64.deb2024-07-29 08:18 104K
[   ]fricas-graphics_1.3.11-2_riscv64.deb2024-07-29 08:18 139K
[   ]fricas_1.3.11-2_riscv64.deb2024-07-29 08:18 172M

Apache/2.4.29 (Ubuntu) Server at ports.ubuntu.com Port 443