8|2024-02-15|sci-mathematics/twelf|twelf-1.7.1-r2.ebuild|http://twelf.plparty.org/releases/twelf-src-1.7.1.tar.gz|maintainer-needed@gentoo.org