[PRQ#65579] Deletion Request for isabelle-tum Accepted

2024-11-11 Thread notify
Request #65579 has been Accepted by Muflone [1]: [Autogenerated] Accepted deletion for isabelle-tum. [1] https://aur.archlinux.org/account/Muflone/

[PRQ#65579] Deletion Request for isabelle-tum

2024-11-10 Thread 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/