From a93ed1dc66ff3833bc1928909cd2d5040ba8f59c Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Fri, 13 Oct 2023 17:30:44 +0200
Subject: [PATCH] bump dependency bounds for coq-vlsm.dev

---
 extra-dev/packages/coq-vlsm/coq-vlsm.dev/opam | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/extra-dev/packages/coq-vlsm/coq-vlsm.dev/opam b/extra-dev/packages/coq-vlsm/coq-vlsm.dev/opam
index 3eda6416d..f2b08ebcd 100644
--- 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"
 ]