Name Last modified Size Description
Parent Directory - fricas_1.3.8.orig.tar.bz2 2022-07-07 18:24 10M fricas_1.3.8-8_amd64.deb 2023-06-13 19:04 62M fricas_1.3.8-8.dsc 2023-06-13 18:35 2.3K fricas_1.3.8-8.debian.tar.xz 2023-06-13 18:35 240K fricas_1.3.8-6_amd64.deb 2023-01-14 03:29 62M fricas_1.3.8-6.dsc 2023-01-13 23:34 2.3K fricas_1.3.8-6.debian.tar.xz 2023-01-13 23:34 239K fricas_1.3.8-1_amd64.deb 2022-07-07 18:44 59M fricas_1.3.8-1.dsc 2022-07-07 18:24 2.3K fricas_1.3.8-1.debian.tar.xz 2022-07-07 18:24 239K fricas_1.3.7.orig.tar.bz2 2021-07-01 18:13 10M fricas_1.3.7-5_amd64.deb 2022-01-27 12:24 60M fricas_1.3.7-5.dsc 2022-01-27 11:14 2.3K fricas_1.3.7-5.debian.tar.xz 2022-01-27 11:14 97K fricas-test_1.3.8-8_all.deb 2023-06-13 19:04 171K fricas-test_1.3.8-6_all.deb 2023-01-14 03:29 171K fricas-test_1.3.8-1_all.deb 2022-07-07 18:44 171K fricas-test_1.3.7-5_all.deb 2022-01-27 12:24 283K fricas-source_1.3.8-8_all.deb 2023-06-13 19:04 1.3M fricas-source_1.3.8-6_all.deb 2023-01-14 03:29 1.3M fricas-source_1.3.8-1_all.deb 2022-07-07 18:43 1.3M fricas-source_1.3.7-5_all.deb 2022-01-27 12:24 1.3M fricas-hypertex_1.3.8-8_amd64.deb 2023-06-13 19:04 96K fricas-hypertex_1.3.8-6_amd64.deb 2023-01-14 03:29 3.4K fricas-hypertex_1.3.8-1_amd64.deb 2022-07-07 18:43 96K fricas-hypertex_1.3.7-5_amd64.deb 2022-01-27 12:24 98K fricas-hypertex-data_1.3.8-8_all.deb 2023-06-13 19:04 665K fricas-hypertex-data_1.3.8-6_all.deb 2023-01-14 03:29 637K fricas-hypertex-data_1.3.8-1_all.deb 2022-07-07 18:43 666K fricas-hypertex-data_1.3.7-5_all.deb 2022-01-27 12:24 670K fricas-graphics_1.3.8-8_amd64.deb 2023-06-13 19:04 127K fricas-graphics_1.3.8-6_amd64.deb 2023-01-14 03:29 3.4K fricas-graphics_1.3.8-1_amd64.deb 2022-07-07 18:44 126K fricas-graphics_1.3.7-5_amd64.deb 2022-01-27 12:24 127K fricas-graphics-data_1.3.8-8_all.deb 2023-06-13 19:04 1.2M fricas-graphics-data_1.3.8-6_all.deb 2023-01-14 03:29 1.2M fricas-graphics-data_1.3.8-1_all.deb 2022-07-07 18:44 1.2M fricas-graphics-data_1.3.7-5_all.deb 2022-01-27 12:24 1.2M fricas-doc_1.3.8-8_all.deb 2023-06-13 19:04 210K fricas-doc_1.3.8-6_all.deb 2023-01-14 03:29 210K fricas-doc_1.3.8-1_all.deb 2022-07-07 18:44 210K fricas-doc_1.3.7-5_all.deb 2022-01-27 12:24 211K fricas-databases_1.3.8-8_all.deb 2023-06-13 19:04 1.1M fricas-databases_1.3.8-6_all.deb 2023-01-14 03:29 1.1M fricas-databases_1.3.8-1_all.deb 2022-07-07 18:44 1.1M fricas-databases_1.3.7-5_all.deb 2022-01-27 12:24 1.1M elpa-fricas_1.3.8-8_all.deb 2023-06-13 19:04 49K elpa-fricas_1.3.8-6_all.deb 2023-01-14 03:29 49K elpa-fricas_1.3.8-1_all.deb 2022-07-07 18:43 49K elpa-fricas_1.3.7-5_all.deb 2022-01-27 12:24 50K