Merge pull request #1254 from arvidj/coq-albert-update-dependencies

coq-albert: add dependencies on coq-list-string and coq-moment
coq · May 4, 2020 · 7518f23 · 7518f23
2 parents 34b0351 + ca7528b
commit 7518f23
Showing 1 changed file with 11 additions and 1 deletion.
diff --git 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