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/
