From be1b05201aba43c795a660e54541007ab1bfa6d5 Mon Sep 17 00:00:00 2001
From: Hai Dang <dhhai.uns@gmail.com>
Date: Wed, 28 Jun 2017 21:40:51 +0200
Subject: [PATCH] fix opam
---
opam | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/opam b/opam
index aa657d52..8d6cdca9 100644
--- a/opam
+++ b/opam
@@ -13,5 +13,6 @@ install: [make "install"]
# TODO: probably we want to install things to a different folder, "ra" is rather undescriptive
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/ra" ]
depends: [
- "coq-iris" { = "3.0.0" }
+ "coq-iris" #{ = "3.0.0" }
+ "coq-stdpp"
]
--
GitLab