MPastushkov [1] filed a deletion request for minipro-logictest-git [2]: The logic-test branch was merged into the master branch, so all of the functionality is now in the "minipro-git" package. [1] https://aur.archlinux.org/account/MPastushkov/ [2] https://aur.archlinux.org/pkgbase/minipro-logictest-git/