../ elpa-fricas_1.3.11-2_all.deb 28-Jul-2024 17:33 144K elpa-fricas_1.3.6-6_all.deb 24-Apr-2021 14:32 129K elpa-fricas_1.3.8-6_all.deb 14-Jan-2023 02:42 134K fricas-databases_1.3.11-2_all.deb 28-Jul-2024 17:33 1M fricas-databases_1.3.6-6_all.deb 24-Apr-2021 14:32 1M fricas-databases_1.3.8-6_all.deb 14-Jan-2023 02:42 1M fricas-doc_1.3.11-2_all.deb 28-Jul-2024 17:33 297K fricas-doc_1.3.6-6_all.deb 24-Apr-2021 14:32 285K fricas-doc_1.3.8-6_all.deb 14-Jan-2023 02:42 288K fricas-graphics-data_1.3.11-2_all.deb 28-Jul-2024 17:33 1M fricas-graphics-data_1.3.6-6_all.deb 24-Apr-2021 14:32 1M fricas-graphics-data_1.3.8-6_all.deb 14-Jan-2023 02:42 1M fricas-graphics_1.3.11-2+b1_i386.deb 04-Jan-2025 23:00 216K fricas-graphics_1.3.11-2_amd64.deb 28-Jul-2024 17:33 216K fricas-graphics_1.3.6-6_amd64.deb 24-Apr-2021 14:43 200K fricas-graphics_1.3.6-6_i386.deb 24-Apr-2021 14:38 200K fricas-graphics_1.3.8-6_amd64.deb 14-Jan-2023 02:41 91K fricas-graphics_1.3.8-6_i386.deb 14-Jan-2023 02:36 91K fricas-hypertex-data_1.3.11-2_all.deb 28-Jul-2024 17:33 723K fricas-hypertex-data_1.3.6-6_all.deb 24-Apr-2021 14:32 725K fricas-hypertex-data_1.3.8-6_all.deb 14-Jan-2023 02:42 688K fricas-hypertex_1.3.11-2+b1_i386.deb 04-Jan-2025 23:00 190K fricas-hypertex_1.3.11-2_amd64.deb 28-Jul-2024 17:33 185K fricas-hypertex_1.3.6-6_amd64.deb 24-Apr-2021 14:43 172K fricas-hypertex_1.3.6-6_i386.deb 24-Apr-2021 14:38 177K fricas-hypertex_1.3.8-6_amd64.deb 14-Jan-2023 02:41 91K fricas-hypertex_1.3.8-6_i386.deb 14-Jan-2023 02:36 91K fricas-source_1.3.11-2_all.deb 28-Jul-2024 17:33 1M fricas-source_1.3.6-6_all.deb 24-Apr-2021 14:32 1M fricas-source_1.3.8-6_all.deb 14-Jan-2023 02:42 1M fricas-test_1.3.11-2_all.deb 28-Jul-2024 17:33 246K fricas-test_1.3.6-6_all.deb 24-Apr-2021 14:32 353K fricas-test_1.3.8-6_all.deb 14-Jan-2023 02:42 252K fricas_1.3.11-2+b1_i386.deb 04-Jan-2025 23:00 49M fricas_1.3.11-2.debian.tar.xz 28-Jul-2024 16:32 241K fricas_1.3.11-2.dsc 28-Jul-2024 16:32 2363 fricas_1.3.11-2_amd64.deb 28-Jul-2024 17:33 51M fricas_1.3.11.orig.tar.bz2 30-Jun-2024 17:38 10M fricas_1.3.6-6.debian.tar.xz 24-Apr-2021 13:42 65K fricas_1.3.6-6.dsc 24-Apr-2021 13:42 2346 fricas_1.3.6-6_amd64.deb 24-Apr-2021 14:43 52M fricas_1.3.6-6_i386.deb 24-Apr-2021 14:38 51M fricas_1.3.6.orig.tar.bz2 23-Nov-2020 15:51 10M fricas_1.3.8-6.debian.tar.xz 14-Jan-2023 00:19 239K fricas_1.3.8-6.dsc 14-Jan-2023 00:19 2352 fricas_1.3.8-6_amd64.deb 14-Jan-2023 02:41 55M fricas_1.3.8-6_i386.deb 14-Jan-2023 02:36 53M fricas_1.3.8.orig.tar.bz2 07-Jul-2022 18:49 10M