From 0c6ae736cb98c2a0a4742ee5c4e88a01459933db Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Sun, 18 Jun 2023 18:33:51 +0200
Subject: [PATCH] Forbid "base 0.16"

There is trouble with CI because it needs bash, and apparently the upgrade also
leads to conflicts between yojson and its ppx (which is where the dependecy upon
base lies)
---
 catala.opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/catala.opam b/catala.opam
index a98e0124..37d8f075 100644
--- a/catala.opam
+++ b/catala.opam
@@ -53,6 +53,7 @@ depends: [
 depopts: ["z3"]
 conflicts: [
   "z3" {< "4.8.11"}
+  "base" {>= "v0.16.0"}
 ]
 build: [
   ["dune" "subst"] {dev}