20 Oct
2023
20 Oct
'23
11:10 p.m.
SvartaHjarta [1] filed a request to merge kattis-problemtools [2] into kattis-problemtools-git [3]: Merge for rename [1] https://aur.archlinux.org/account/SvartaHjarta/ [2] https://aur.archlinux.org/pkgbase/kattis-problemtools/ [3] https://aur.archlinux.org/pkgbase/kattis-problemtools-git/