projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
478d581
)
sci-mathematics/coq: add missing findlib build dep, bug #603126
author
Alexis Ballier
<aballier@gentoo.org>
Mon, 19 Dec 2016 18:55:22 +0000
(19:55 +0100)
committer
Alexis Ballier
<aballier@gentoo.org>
Mon, 19 Dec 2016 18:55:31 +0000
(19:55 +0100)
Package-Manager: Portage-2.3.3, Repoman-2.3.1
sci-mathematics/coq/coq-8.6.ebuild
patch
|
blob
|
history
diff --git
a/sci-mathematics/coq/coq-8.6.ebuild
b/sci-mathematics/coq/coq-8.6.ebuild
index 3e10d3367040fdef99492495d73c84df81e8bae0..e87893f05cad2686b739ba854ae55431f5fa31ad 100644
(file)
--- a/
sci-mathematics/coq/coq-8.6.ebuild
+++ b/
sci-mathematics/coq/coq-8.6.ebuild
@@
-24,6
+24,7
@@
RDEPEND="
!camlp5? ( dev-ml/camlp4:= )
gtk? ( >=dev-ml/lablgtk-2.10.1:=[sourceview,ocamlopt?] )"
DEPEND="${RDEPEND}
+ dev-ml/findlib
doc? (
media-libs/netpbm[png,zlib]
virtual/latex-base