sci-mathematics/alt-ergo: add dev-ml/seq dependency

Closes: https://bugs.gentoo.org/692252
Package-Manager: Portage-2.3.76, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
index 52fdd50ec7a0c7f6e7a7531eb1d91a3c1086417a..6dc8404508d20e16008366684ea347ca6c5f61b4 100644 (file)
--- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild
@@ -19,6 +19,7 @@ DEPEND=">=dev-lang/ocaml-3.12.1[ocamlopt?]
        sci-mathematics/psmt2-frontend
        >=dev-ml/ocplib-simplex-0.4
        >=dev-ml/menhir-20181006
+       dev-ml/seq
        dev-ml/dune"
 RDEPEND="${DEPEND}"