[PRQ#81415] Deletion Request for deepseek-tui-bin Accepted

[notify]

Request #81415 has been Accepted by bertptrs [1]:

[Autogenerated] Accepted deletion for deepseek-tui-bin.

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