[PRQ#65579] Deletion Request for isabelle-tum
11 Nov
2024
11 Nov
'24
12:40 a.m.
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/
11 Nov
11 Nov
10:55 p.m.
New subject: [PRQ#65579] Deletion Request for isabelle-tum Accepted
Request #65579 has been Accepted by Muflone [1]: [Autogenerated] Accepted deletion for isabelle-tum. [1] https://aur.archlinux.org/account/Muflone/
61
Age (days ago)
61
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org