From e59d94ef4c54884223eba6369304ec51af5a1387 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Mon, 5 Jun 2023 08:44:59 +0200
Subject: [PATCH] =?UTF-8?q?coqPackages.Cheerios:=2020200201=20=E2=86=92=20?=
 =?UTF-8?q?20230107?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 pkgs/development/coq-modules/Cheerios/default.nix | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/coq-modules/Cheerios/default.nix b/pkgs/development/coq-modules/Cheerios/default.nix
index 5a7ec31f50c1..1d4c458548ca 100644
--- a/pkgs/development/coq-modules/Cheerios/default.nix
+++ b/pkgs/development/coq-modules/Cheerios/default.nix
@@ -4,7 +4,12 @@ mkCoqDerivation {
   pname   = "cheerios";
   owner   = "uwplse";
   inherit version;
-  defaultVersion = if lib.versions.range "8.6" "8.16" coq.version then "20200201" else null;
+  defaultVersion = with lib.versions; lib.switch coq.version [
+    { case = range "8.14" "8.17"; out = "20230107"; }
+    { case = range "8.6"  "8.16"; out = "20200201"; }
+  ] null;
+  release."20230107".rev    = "bad8ad2476e14df6b5a819b7aaddc27a7c53fb69";
+  release."20230107".sha256 = "sha256-G7a+6h4VDk7seKvFr6wy7vYqYmhUje78TYCj98wXrr8=";
   release."20200201".rev    = "9c7f66e57b91f706d70afa8ed99d64ed98ab367d";
   release."20200201".sha256 = "1h55s6lk47bk0lv5ralh81z55h799jbl9mhizmqwqzy57y8wqgs1";