Fix missing dev-repo field lint error in alt-ergo 0.95.2-1.30

jmid · jmid · commit c09d00af27e4 · 2025-11-14T23:14:04.000+01:00
diff --git a/packages/alt-ergo/alt-ergo.0.95.2/opam b/packages/alt-ergo/alt-ergo.0.95.2/opam
@@ -4,6 +4,7 @@ authors: "Alt-Ergo developers"
 license: "CeCILL-C"
 homepage: "http://alt-ergo.ocamlpro.com/"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
+dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
 build:
 [
   ["./configure" "-prefix" prefix]
diff --git a/packages/alt-ergo/alt-ergo.0.99.1/opam b/packages/alt-ergo/alt-ergo.0.99.1/opam
@@ -4,6 +4,7 @@ authors: "Alt-Ergo developers"
 license: "CeCILL-C"
 homepage: "http://alt-ergo.ocamlpro.com/"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
+dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
 build:
 [
   ["./configure" "-prefix" "%{prefix}%"]
diff --git a/packages/alt-ergo/alt-ergo.1.01/opam b/packages/alt-ergo/alt-ergo.1.01/opam
@@ -4,6 +4,7 @@ authors: "Alt-Ergo developers"
 license: "CeCILL-C"
 homepage: "http://alt-ergo.ocamlpro.com/"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
+dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
 
 build:
 [
diff --git a/packages/alt-ergo/alt-ergo.1.30/opam b/packages/alt-ergo/alt-ergo.1.30/opam
@@ -4,6 +4,7 @@ authors: "Alt-Ergo developers"
 license: "CeCILL-C"
 homepage: "http://alt-ergo.ocamlpro.com/"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
+dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
 
 build:
 [

Original file line number	Diff line number	Diff line change
`@@ -4,6 +4,7 @@ authors: "Alt-Ergo developers"`
`4`	`4`	`license: "CeCILL-C"`
`5`	`5`	`homepage: "http://alt-ergo.ocamlpro.com/"`
`6`	`6`	`bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"`
	`7`	`+dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"`
`7`	`8`	`build:`
`8`	`9`	`[`
`9`	`10`	`["./configure" "-prefix" prefix]`