21 Oct
2023
21 Oct
'23
1:10 a.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/