[aur-requests] [PRQ#27431] Deletion Request for minisat

[notify--- via aur-requests]

ny-a [1] filed a deletion request for minisat [2]:

duplicate with community/minisat

[1] https://aur.archlinux.org/account/ny-a/
[2] https://aur.archlinux.org/pkgbase/minisat/