sci-mathematics/coq: Drop obsolete dev-texlive/texlive-mathextra
authorAndreas Sturmlechner <asturm@gentoo.org>
Mon, 9 Apr 2018 19:28:31 +0000 (21:28 +0200)
committerAndreas Sturmlechner <asturm@gentoo.org>
Mon, 9 Apr 2018 19:30:47 +0000 (21:30 +0200)
commit352187786b501cc74cffc08ca3ea9bea2bf911ba
treea4b050eb7b12f5a2ed9a78d3169869430c69b2da
parent35b1f24c754583f3a70f1eedf8c1045e54b478e0
sci-mathematics/coq: Drop obsolete dev-texlive/texlive-mathextra

Package-Manager: Portage-2.3.28, Repoman-2.3.9
sci-mathematics/coq/coq-8.6.1.ebuild
sci-mathematics/coq/coq-8.6.ebuild