25 Jan
2018
25 Jan
'18
6:52 p.m.
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/