White space change to extra-dev/packages/coq-elpi/coq-elpi.dev/opam t…

…o test CI fix
coq · Dec 20, 2024 · ceab1c7 · ceab1c7
1 parent 0cb3b8c
commit ceab1c7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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"
 }
+