8|dev-lang/elpi|elpi-1.17.0.ebuild|LGPL-2.1+|ml@gentoo.org:sci-mathematics@gentoo.org
8|dev-lang/elpi|elpi-1.17.4.ebuild|LGPL-2.1+|ml@gentoo.org:sci-mathematics@gentoo.org