From 159be5db480d1df880a0135ca0bfed84c2f88353 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Mon, 9 Sep 2024 07:46:33 +0200
Subject: [PATCH] coqPackages_8_20.serapi: init at 8.20.0+0.20.0

---
 pkgs/development/coq-modules/serapi/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pkgs/development/coq-modules/serapi/default.nix b/pkgs/development/coq-modules/serapi/default.nix
index d8077640d6e1..126fcbf1ae7a 100644
--- a/pkgs/development/coq-modules/serapi/default.nix
+++ b/pkgs/development/coq-modules/serapi/default.nix
@@ -2,6 +2,7 @@
 
 let
   release = {
+    "8.20.0+0.20.0".sha256 = "sha256-Mll3m7CVfh52yA5zACDzMZk8lwhOONMMliqQ2l/ObKI=";
     "8.19.0+0.19.3".sha256 = "sha256-QWRXBTcjtAGskZBeLIuX7WDE95KfH6SxV8MJSMx8B2Q=";
     "8.18.0+0.18.3".sha256 = "sha256-3JGZCyn62LYJVpfXiwnSMxvdA2vQNTL7li2ZBPcjF0M=";
     "8.17.0+0.17.3".sha256 = "sha256-XolzpJd8zs4LLyJO4eWvCiAJ0HJSGBJTGVSBClQRGnw=";
@@ -17,10 +18,12 @@ in
 
 (mkCoqDerivation {
   pname = "serapi";
+  owner = "ejgallego";
   repo = "coq-serapi";
   inherit version release;
 
   defaultVersion = lib.switch coq.version [
+      { case = lib.versions.isEq "8.20"; out = "8.20.0+0.20.0"; }
       { case = lib.versions.isEq "8.19"; out = "8.19.0+0.19.3"; }
       { case = lib.versions.isEq "8.18"; out = "8.18.0+0.18.3"; }
       { case = lib.versions.isEq "8.17"; out = "8.17.0+0.17.3"; }