../ texmaker-5.1.2-r1.log 28-Oct-2022 11:04 845K texmaker-5.1.3-r0.log 17-Nov-2022 22:28 857K texmaker-5.1.4-r0.log 01-May-2023 17:31 948K