sci-mathematics/coq: Remove := from || dep, #586304
authorMichał Górny <mgorny@gentoo.org>
Tue, 21 Jun 2016 20:24:28 +0000 (22:24 +0200)
committerMichał Górny <mgorny@gentoo.org>
Tue, 21 Jun 2016 20:32:45 +0000 (22:32 +0200)
commit84224f26f9c893299a487431e2ee005b1795f01c
treed0333e5da3985a57ce379c199dca426e32992a0b
parent23c0a5e66e44e35d9854ee94dc0e3b41a2f15035
sci-mathematics/coq: Remove := from || dep, #586304
sci-mathematics/coq/coq-8.4_p5.ebuild
sci-mathematics/coq/coq-8.4_p6.ebuild