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/
