From ceab1c7f32a0725a1ecd8c1fd63b29836977dda8 Mon Sep 17 00:00:00 2001
From: Michael Soegtrop <7895506+MSoegtropIMC@users.noreply.github.com>
Date: Fri, 20 Dec 2024 18:23:09 +0100
Subject: [PATCH] White space change to
 extra-dev/packages/coq-elpi/coq-elpi.dev/opam to test CI fix

---
 extra-dev/packages/coq-elpi/coq-elpi.dev/opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/extra-dev/packages/coq-elpi/coq-elpi.dev/opam b/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
index 07b4c28da..31bd81aab 100644
--- a/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
+++ b/extra-dev/packages/coq-elpi/coq-elpi.dev/opam
@@ -43,3 +43,4 @@ dev-repo: "git+https://github.com/LPCIC/coq-elpi.git"
 url {
   src: "git+https://github.com/LPCIC/coq-elpi.git"
 }
+