diff --git a/msat.opam b/msat.opam
index d5c45b44..c0d0a3a5 100644
--- a/msat.opam
+++ b/msat.opam
@@ -13,6 +13,7 @@ build: [
 depends: [
   "ocaml" { >= "4.03" }
   "dune" {build}
+  "sequence"
   "containers" {with-test}
 ]
 tags: [ "sat" "smt" ]