sci-mathematics/coq: adjust deps for TeX Live 2016.
authorAlexis Ballier <aballier@gentoo.org>
Mon, 23 Jan 2017 09:18:44 +0000 (10:18 +0100)
committerAlexis Ballier <aballier@gentoo.org>
Mon, 23 Jan 2017 09:18:44 +0000 (10:18 +0100)
commit7b808055aa6318019d8b24d676963bb6ad0dfd62
tree74ac0e736777f79f41aed6cb6b5f35f3e38b9b94
parent50e4df3eca96ce158fd0e386259d47645a7a57e6
sci-mathematics/coq: adjust deps for TeX Live 2016.

Package-Manager: Portage-2.3.3, Repoman-2.3.1
sci-mathematics/coq/coq-8.5.ebuild
sci-mathematics/coq/coq-8.5_p3.ebuild
sci-mathematics/coq/coq-8.6.ebuild