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