apropos [1] filed a deletion request for twelf-git [2]: There's no real reason for this package to exist: Twelf has not been under development since 2011. See https://github.com/standardml/twelf/tree/v1.7.1
[1] https://aur.archlinux.org/account/apropos/ [2] https://aur.archlinux.org/pkgbase/twelf-git/
