Index of /ubuntu/pool/universe/f/fricas

      Name                                        Last modified      Size  Description
Parent Directory - elpa-fricas_1.3.10-1build3_all.deb 2024-04-01 10:43 50K elpa-fricas_1.3.11-2_all.deb 2024-07-28 19:59 50K elpa-fricas_1.3.11-4_all.deb 2025-05-14 15:45 50K elpa-fricas_1.3.12-2_all.deb 2026-02-13 13:56 50K elpa-fricas_1.3.13-1_all.deb 2026-06-08 20:28 51K elpa-fricas_1.3.13-3_all.deb 2026-11-07 20:59 51K elpa-fricas_1.3.7-5_all.deb 2022-01-27 13:24 50K fricas-databases_1.3.10-1build3_all.deb 2024-04-01 10:43 1.2M fricas-databases_1.3.11-2_all.deb 2024-07-28 19:59 1.1M fricas-databases_1.3.11-4_all.deb 2025-05-14 15:45 1.1M fricas-databases_1.3.12-2_all.deb 2026-02-13 13:56 1.1M fricas-databases_1.3.13-1_all.deb 2026-06-08 20:28 1.1M fricas-databases_1.3.13-3_all.deb 2026-11-07 20:59 1.1M fricas-databases_1.3.7-5_all.deb 2022-01-27 13:24 1.1M fricas-doc_1.3.10-1build3_all.deb 2024-04-01 10:43 210K fricas-doc_1.3.11-2_all.deb 2024-07-28 19:59 211K fricas-doc_1.3.11-4_all.deb 2025-05-14 15:45 210K fricas-doc_1.3.12-2_all.deb 2026-02-13 13:56 210K fricas-doc_1.3.13-1_all.deb 2026-06-08 20:28 209K fricas-doc_1.3.13-3_all.deb 2026-11-07 20:59 209K fricas-doc_1.3.7-5_all.deb 2022-01-27 13:24 211K fricas-graphics-data_1.3.10-1build3_all.deb 2024-04-01 10:43 1.2M fricas-graphics-data_1.3.11-2_all.deb 2024-07-28 19:59 1.2M fricas-graphics-data_1.3.11-4_all.deb 2025-05-14 15:45 1.2M fricas-graphics-data_1.3.12-2_all.deb 2026-02-13 13:56 1.2M fricas-graphics-data_1.3.13-1_all.deb 2026-06-08 20:28 1.2M fricas-graphics-data_1.3.13-3_all.deb 2026-11-07 20:59 1.2M fricas-graphics-data_1.3.7-5_all.deb 2022-01-27 13:24 1.2M fricas-graphics_1.3.10-1build3_amd64.deb 2024-04-01 10:43 125K fricas-graphics_1.3.11-2_amd64.deb 2024-07-28 19:59 127K fricas-graphics_1.3.11-4_amd64.deb 2025-05-14 15:45 126K fricas-graphics_1.3.11-4_arm64.deb 2025-05-14 15:45 125K fricas-graphics_1.3.12-2_amd64.deb 2026-02-13 13:56 127K fricas-graphics_1.3.12-2_amd64v3.deb 2026-02-13 13:56 128K fricas-graphics_1.3.12-2_arm64.deb 2026-02-13 13:56 121K fricas-graphics_1.3.13-1_amd64.deb 2026-06-08 20:28 127K fricas-graphics_1.3.13-1_amd64v3.deb 2026-06-08 20:28 128K fricas-graphics_1.3.13-1_arm64.deb 2026-06-08 22:30 121K fricas-graphics_1.3.13-3_amd64.deb 2026-11-07 20:59 127K fricas-graphics_1.3.13-3_amd64v3.deb 2026-11-07 21:02 128K fricas-graphics_1.3.7-5_amd64.deb 2022-01-27 13:24 127K fricas-hypertex-data_1.3.10-1build3_all.deb 2024-04-01 10:43 666K fricas-hypertex-data_1.3.11-2_all.deb 2024-07-28 19:59 664K fricas-hypertex-data_1.3.11-4_all.deb 2025-05-14 15:45 661K fricas-hypertex-data_1.3.12-2_all.deb 2026-02-13 13:56 660K fricas-hypertex-data_1.3.13-1_all.deb 2026-06-08 20:28 660K fricas-hypertex-data_1.3.13-3_all.deb 2026-11-07 20:59 660K fricas-hypertex-data_1.3.7-5_all.deb 2022-01-27 13:24 670K fricas-hypertex_1.3.10-1build3_amd64.deb 2024-04-01 10:43 96K fricas-hypertex_1.3.11-2_amd64.deb 2024-07-28 19:59 95K fricas-hypertex_1.3.11-4_amd64.deb 2025-05-14 15:45 95K fricas-hypertex_1.3.11-4_arm64.deb 2025-05-14 15:45 94K fricas-hypertex_1.3.12-2_amd64.deb 2026-02-13 13:56 96K fricas-hypertex_1.3.12-2_amd64v3.deb 2026-02-13 13:56 96K fricas-hypertex_1.3.12-2_arm64.deb 2026-02-13 13:56 93K fricas-hypertex_1.3.13-1_amd64.deb 2026-06-08 20:28 96K fricas-hypertex_1.3.13-1_amd64v3.deb 2026-06-08 20:28 96K fricas-hypertex_1.3.13-1_arm64.deb 2026-06-08 22:30 93K fricas-hypertex_1.3.13-3_amd64.deb 2026-11-07 20:59 96K fricas-hypertex_1.3.13-3_amd64v3.deb 2026-11-07 21:02 96K fricas-hypertex_1.3.7-5_amd64.deb 2022-01-27 13:24 98K fricas-source_1.3.10-1build3_all.deb 2024-04-01 10:43 1.3M fricas-source_1.3.11-2_all.deb 2024-07-28 19:59 1.3M fricas-source_1.3.11-4_all.deb 2025-05-14 15:45 1.3M fricas-source_1.3.12-2_all.deb 2026-02-13 13:56 1.3M fricas-source_1.3.13-1_all.deb 2026-06-08 20:28 1.4M fricas-source_1.3.13-3_all.deb 2026-11-07 20:59 1.4M fricas-source_1.3.7-5_all.deb 2022-01-27 13:24 1.3M fricas-test_1.3.10-1build3_all.deb 2024-04-01 10:43 159K fricas-test_1.3.11-2_all.deb 2024-07-28 19:59 157K fricas-test_1.3.11-4_all.deb 2025-05-14 15:45 157K fricas-test_1.3.12-2_all.deb 2026-02-13 13:56 157K fricas-test_1.3.13-1_all.deb 2026-06-08 20:28 158K fricas-test_1.3.13-3_all.deb 2026-11-07 20:59 158K fricas-test_1.3.7-5_all.deb 2022-01-27 13:24 283K fricas_1.3.10-1build3.debian.tar.xz 2024-03-31 02:12 241K fricas_1.3.10-1build3.dsc 2024-03-31 02:12 2.4K fricas_1.3.10-1build3_amd64.deb 2024-04-01 10:43 63M fricas_1.3.10.orig.tar.bz2 2024-02-15 07:29 10M fricas_1.3.11-2.debian.tar.xz 2024-07-28 19:59 241K fricas_1.3.11-2.dsc 2024-07-28 19:59 2.3K fricas_1.3.11-2_amd64.deb 2024-07-28 19:59 57M fricas_1.3.11-4.debian.tar.xz 2025-05-14 14:05 256K fricas_1.3.11-4.dsc 2025-05-14 14:05 2.3K fricas_1.3.11-4_amd64.deb 2025-05-14 15:45 58M fricas_1.3.11-4_arm64.deb 2025-05-14 15:45 57M fricas_1.3.11.orig.tar.bz2 2024-06-30 19:49 10M fricas_1.3.12-2.debian.tar.xz 2026-02-13 12:37 256K fricas_1.3.12-2.dsc 2026-02-13 12:37 2.3K fricas_1.3.12-2_amd64.deb 2026-02-13 13:56 60M fricas_1.3.12-2_amd64v3.deb 2026-02-13 13:56 60M fricas_1.3.12-2_arm64.deb 2026-02-13 13:56 59M fricas_1.3.12.orig.tar.bz2 2026-02-12 20:07 10M fricas_1.3.13-1.debian.tar.xz 2026-06-08 19:39 256K fricas_1.3.13-1.dsc 2026-06-08 19:39 2.3K fricas_1.3.13-1_amd64.deb 2026-06-08 20:28 75M fricas_1.3.13-1_amd64v3.deb 2026-06-08 20:28 75M fricas_1.3.13-1_arm64.deb 2026-06-08 22:31 68M fricas_1.3.13-3.debian.tar.xz 2026-11-07 16:58 256K fricas_1.3.13-3.dsc 2026-11-07 16:58 2.3K fricas_1.3.13-3_amd64.deb 2026-11-07 20:59 75M fricas_1.3.13-3_amd64v3.deb 2026-11-07 21:02 75M fricas_1.3.13.orig.tar.bz2 2026-06-08 19:39 10M fricas_1.3.7-5.debian.tar.xz 2022-01-27 12:14 97K fricas_1.3.7-5.dsc 2022-01-27 12:14 2.3K fricas_1.3.7-5_amd64.deb 2022-01-27 13:24 60M fricas_1.3.7.orig.tar.bz2 2021-07-01 19:13 10M