../ basic-miktex-22.7-x64.exe 18-Aug-2022 19:46 139157768 miktexsetup-4.2-x64.zip 18-Aug-2022 19:46 2597201 setup-5.1-x64.exe 18-Aug-2022 19:46 25514248