sci-mathematics/coq: drop ocaml 4.03 patch; it is not needed anymore.
authorAlexis Ballier <aballier@gentoo.org>
Fri, 12 Aug 2016 10:25:25 +0000 (12:25 +0200)
committerAlexis Ballier <aballier@gentoo.org>
Fri, 12 Aug 2016 11:03:53 +0000 (13:03 +0200)
commit05a6452be2dc445aa7782f9a219bf74c744f7e84
treeb38dfdf130b69dfa973a82dad94acb08d024f1c3
parentd8de058518fdbd53dcebd984edc9d406ef983cd7
sci-mathematics/coq: drop ocaml 4.03 patch; it is not needed anymore.

Package-Manager: portage-2.3.0
sci-mathematics/coq/coq-8.5_p2.ebuild