../ ginac-1.8.1-r0.log.gz 23-Apr-2023 15:18 6815 ginac-1.8.2-r0.log.gz 23-Apr-2023 15:18 3819 ginac-1.8.3-r0.log.gz 23-Apr-2023 15:18 3826 ginac-1.8.4-r0.log.gz 23-Apr-2023 15:18 3802 ginac-1.8.6-r0.log.gz 23-Apr-2023 15:18 4836 ginac-1.8.7-r0.log.gz 17-Aug-2023 21:34 4930 ginac-1.8.7-r1.log.gz 28-Jan-2024 13:56 5004 ginac-1.8.8-r0.log 19-Mar-2025 05:47 40K ginac-1.8.9-r0.log 25-May-2025 07:51 40K