gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-01 23:28:08 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/coq: add missing findlib build dep, bug #603126

Browse Source 
Package-Manager: Portage-2.3.3, Repoman-2.3.1
This commit is contained in:
Alexis Ballier
2016-12-19 19:55:22 +01:00
parent 478d581138
commit 52faa1c8e0
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
sci-mathematics/coq/coq-8.6.ebuild
View File

@@ -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