Edgemaster [1] filed a deletion request for gringo [2]:
community package `clingo` now provides `gringo`.
[1] https://aur.archlinux.org/account/Edgemaster/ [2] https://aur.archlinux.org/pkgbase/gringo/
Request #10398 has been accepted by Eschwartz [1].
aur-requests@lists.archlinux.org