[PRQ#65579] Deletion Request for isabelle-tum

[notify]

MW360 [1] filed a deletion request for isabelle-tum [2]:

Duplicate and outdated

[1] https://aur.archlinux.org/account/MW360/
[2] https://aur.archlinux.org/pkgbase/isabelle-tum/