diff options
Diffstat (limited to 'dev-ml/jingoo/jingoo-1.4.2.ebuild')
| -rw-r--r-- | dev-ml/jingoo/jingoo-1.4.2.ebuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-ml/jingoo/jingoo-1.4.2.ebuild b/dev-ml/jingoo/jingoo-1.4.2.ebuild index 80c36b426806..0e217bc160c4 100644 --- a/dev-ml/jingoo/jingoo-1.4.2.ebuild +++ b/dev-ml/jingoo/jingoo-1.4.2.ebuild @@ -14,6 +14,7 @@ KEYWORDS="~amd64 ~x86" DEPEND="dev-ml/ppx_deriving dev-ml/uucp - dev-ml/uutf" + dev-ml/uutf + dev-ml/menhir" RDEPEND="${DEPEND}" BDEPEND="dev-ml/dune" |