[aur-requests] [PRQ#37035] Deletion Request for python-pysmt Accepted

Request #37035 has been Accepted by anthraxx [1]: [Autogenerated] Accepted deletion for python-pysmt. [1] https://aur.archlinux.org/account/anthraxx/