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

11 Nov 2024

      Request #65579 has been Accepted by Muflone [1]:

[Autogenerated] Accepted deletion for isabelle-tum.

[1] https://aur.archlinux.org/account/Muflone/

notify＠aur.archlinux.org