From fde6c2151d951e702b51cdcc06d291595ecbfc05 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 13 Jan 2020 18:13:06 +0100
Subject: [PATCH] fix opam file a bit more
---
opam | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/opam b/opam
index 0a02667e3..00c5e6e99 100644
--- a/opam
+++ b/opam
@@ -2,14 +2,14 @@ opam-version: "2.0"
name: "coq-iris"
maintainer: "Ralf Jung <jung@mpi-sws.org>"
authors: "The Iris Team"
+license: "BSD"
homepage: "http://iris-project.org/"
bug-reports: "https://gitlab.mpi-sws.org/iris/iris/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/iris/iris.git"
-license: "BSD"
+
synopsis: "This is the Coq development of the Iris Project"
depends: [
- "ocaml"
"coq" { (= "8.8.2") | (>= "8.9.1" & < "8.12~") | (= "dev") }
"coq-stdpp" { (= "dev.2019-11-22.2.16eb222f") | (= "dev") }
]
--
GitLab