8|200|2024-02-15|sci-mathematics/twelf|twelf-1.7.1-r2.ebuild|http://twelf.org/|http://twelf.org/wiki/Main_Page|maintainer-needed@gentoo.org