[PRQ#65579] Deletion Request for isabelle-tum

11 Nov 2024


      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/

[PRQ#65579] Deletion Request for isabelle-tum

notify＠aur.archlinux.org