From ca7528b87b905715df9d5f931bfb83509be66d80 Mon Sep 17 00:00:00 2001
From: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>
Date: Mon, 4 May 2020 16:36:24 +0200
Subject: [PATCH] coq-albert: add dependencies on coq-list-string and
 coq-moment

---
 extra-dev/packages/coq-albert/coq-albert.dev/opam | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/extra-dev/packages/coq-albert/coq-albert.dev/opam b/extra-dev/packages/coq-albert/coq-albert.dev/opam
index e59361b9a..2d0ea2bdd 100644
--- a/extra-dev/packages/coq-albert/coq-albert.dev/opam
+++ b/extra-dev/packages/coq-albert/coq-albert.dev/opam
@@ -13,7 +13,17 @@ build: [
   [ make "test" {with-test} ]
 ]
 install: [ make "install" ]
-depends: [ "dune" "ott" "menhir" "coq" {>= "8.8.2"} "coq-ott" "coq-menhirlib" "coq-mi-cho-coq"]
+depends: [
+  "dune"
+  "ott"
+  "menhir"
+  "coq" {>= "8.8.2"}
+  "coq-ott"
+  "coq-menhirlib"
+  "coq-mi-cho-coq"
+  "coq-list-string"
+  "coq-moment" {>= "1.2.0"}
+]
 
 description:"""
 Albert is an intermediate smart contract programming language