White space change to extra-dev/packages/coq-elpi/coq-elpi.dev/opam to test CI fix

MSoegtropIMC · MSoegtropIMC · commit ceab1c7f32a0 · 2024-12-20T18:23:09.000+01:00
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"
 }
+

Original file line number	Diff line number	Diff line change
`@@ -43,3 +43,4 @@ dev-repo: "git+https://github.com/LPCIC/coq-elpi.git"`
`43`	`43`	`url {`
`44`	`44`	`src: "git+https://github.com/LPCIC/coq-elpi.git"`
`45`	`45`	`}`
	`46`	`+`