../ fricas-dbgsym_1.3.8-1_sparc64.deb 08-Jul-2022 00:03 5M fricas-graphics-dbgsym_1.3.8-1_sparc64.deb 08-Jul-2022 00:03 412K fricas-graphics_1.3.8-1_sparc64.deb 08-Jul-2022 00:03 186K fricas-hypertex-dbgsym_1.3.8-1_sparc64.deb 08-Jul-2022 00:03 360K fricas-hypertex_1.3.8-1_sparc64.deb 08-Jul-2022 00:03 162K fricas_1.3.8-1_sparc64.buildinfo 08-Jul-2022 00:03 9056 fricas_1.3.8-1_sparc64.deb 08-Jul-2022 00:03 48M