Merge pull request #20 from HuStmpHrrr/feature/adapt-8.9

adapt 8.9
plclub · Mar 6, 2019 · 3b5cd76 · 3b5cd76
2 parents fca72de + 0f8246f
commit 3b5cd76
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/Metalib/AssocList.v b/Metalib/AssocList.v
@@ -19,6 +19,7 @@
 Require Import Coq.FSets.FSets.
 Require Import Coq.Lists.List.
 Require Import Coq.Logic.Decidable.
+Require Import Coq.Strings.String.
 
 Require Import Metalib.CoqFSetDecide.
 Require Import Metalib.CoqListFacts.

diff --git a/coq-metalib.opam b/coq-metalib.opam
@@ -1,4 +1,4 @@
-opam-version: "1.2"
+opam-version: "2.0"
 name: "coq-metalib"
 version: "dev"
 synopsis: "Locally Nameless Metatheory Library"
@@ -9,7 +9,7 @@ tags: "org:plclub"
 homepage: "https://github.com/plclub/metalib"
 bug-reports: "https://github.com/plclub/metalib/issues"
 depends: [
-  "coq" {>= "8.6" < "8.9~"}
+  "coq" {>= "8.6"}
 ]
 build: [make "-j%{jobs}%" "-C" "Metalib"]
 install: [make "-C" "Metalib" "install"]