Merge pull request #2761 from palmskog/bump-vlsm-deps

bump dependency bounds for coq-vlsm.dev
coq · Oct 13, 2023 · 382e90a · 382e90a
2 parents e396260 + a93ed1d
commit 382e90a
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/extra-dev/packages/coq-vlsm/coq-vlsm.dev/opam b/extra-dev/packages/coq-vlsm/coq-vlsm.dev/opam
@@ -14,11 +14,11 @@ contains a formalization of VLSMs and their theory in the Coq proof assistant.""
 
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
-  "dune" {>= "2.5"}
-  "coq" {>= "8.15"}
-  "coq-stdpp" {>= "1.7.0"}
-  "coq-itauto" 
-  "coq-equations" 
+  "dune" {>= "3.5"}
+  "coq" {>= "8.16"}
+  "coq-stdpp" {>= "1.8.0"}
+  "coq-itauto"
+  "coq-equations"
 ]
 
 tags: [
@@ -38,7 +38,8 @@ authors: [
   "Lucas Peña"
   "Grigore Roșu"
   "Traian Șerbănuță"
-  "Dafina Trufas"
+  "Ioan Teodorescu"
+  "Dafina Trufaș"
   "Jan Tušil"
   "Vlad Zamfir"
 ]