8 Aug
2021
8 Aug
'21
5:56 a.m.
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/