From f244eaf9e4b16ed204d745106e37f0c29436707b Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 20 Dec 2023 12:43:39 +0100
Subject: [PATCH] coq-record-updates.0.3.1 compiles with Coq 8.19+rc1

according to coq-nix-toolbox
---
 .../packages/coq-record-update/coq-record-update.0.3.1/opam     | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/released/packages/coq-record-update/coq-record-update.0.3.1/opam b/released/packages/coq-record-update/coq-record-update.0.3.1/opam
index 154b1be859..713539f319 100644
--- a/released/packages/coq-record-update/coq-record-update.0.3.1/opam
+++ b/released/packages/coq-record-update/coq-record-update.0.3.1/opam
@@ -16,7 +16,7 @@ simple typeclass that lists out the record fields."""
 build: [make "-j%{jobs}%" "NO_TEST=1"]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.10" & < "8.18~") | (= "dev")}
+  "coq" {(>= "8.10" & < "8.20~") | (= "dev")}
 ]
 
 tags: [