[PRQ#87706] Deletion Request for mainstream-microtex-git

[notify]

mainstreamos [1] filed a deletion request for mainstream-microtex-git
[2]:

no longer used, maintained in another repo

[1] https://aur.archlinux.org/account/mainstreamos/
[2] https://aur.archlinux.org/pkgbase/mainstream-microtex-git/