From 5b27165fb806e6fa8b88e2f9bcb090a555cbd9be Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Fri, 13 Dec 2024 21:41:59 +0100
Subject: [PATCH] feat: Rebuild after merging
 https://github.com/coq/opam/pull/3253

docker-keeper: rebuild-keyword: dev