../ ginac-1.8.2-r0.log 12-Feb-2022 20:15 38K ginac-1.8.3-r0.log 16-May-2022 13:51 38K ginac-1.8.4-r0.log 13-Oct-2022 05:17 38K ginac-1.8.6-r0.log 09-Feb-2023 18:56 37K ginac-1.8.7-r0.log 16-Aug-2023 15:51 37K ginac-1.8.7-r1.log 28-Jan-2024 15:19 37K