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

[notify at aur.archlinux.org]

anthraxx [1] filed a deletion request for python-pysmt [2]:

moved to [community], thanks a lot for maintaining the package <3

[1] https://aur.archlinux.org/account/anthraxx/
[2] https://aur.archlinux.org/pkgbase/python-pysmt/