1 Jul
2023
1 Jul
'23
11:01 a.m.
MarsSeed [1] filed a deletion request for miktex-fix [2]: Duplicate of AUR/miktex. Was created on 2023-04-08 for a new build issue reported on AUR/miktex page on the same day. AUR/miktex fixed the reported issue on 2023-04-17. @trance233, you should not duplicate existing packages to fix an issue. Instead, work with the maintainer of the existing package and in the meantime, if the packaging fix is trivial as it was in this case, just suggest your solution as a diff/patch in a comment. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/miktex-fix/