From c2616fae46c7ca5be7c3b2ae1bd6d9e02b961a49 Mon Sep 17 00:00:00 2001
From: Aymeric Varasse <aymeric.varasse@cea.fr>
Date: Tue, 12 Dec 2023 14:57:51 +0100
Subject: [PATCH] [deps] Update version of Base
---
caisar.opam | 2 +-
dune-project | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/caisar.opam b/caisar.opam
index 95e3d04..5eee7cf 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -19,7 +19,7 @@ depends: [
"piqilib" {>= "0.6.14"}
"zarith" {>= "1.7"}
"ocplib-endian" {>= "1.0"}
- "base" {>= "v0.14.0"}
+ "base" {>= "v0.15.1"}
"stdio" {>= "v0.14.0"}
"cmdliner" {>= "1.1.1"}
"fmt" {>= "0.8.9"}
diff --git a/dune-project b/dune-project
index 69a82ea..5cffada 100644
--- a/dune-project
+++ b/dune-project
@@ -27,7 +27,7 @@
(piqilib (>= 0.6.14))
(zarith (>= 1.7))
(ocplib-endian (>= 1.0))
- (base (>= v0.14.0))
+ (base (>= v0.15.1))
(stdio (>= v0.14.0))
(cmdliner (>= 1.1.1))
(fmt (>= 0.8.9))
--
GitLab