Add missing dev-repo in boltzgen.0.9

jmid · jmid · commit 812962e11a1d · 2025-09-04T23:28:35.000+02:00
diff --git a/packages/boltzgen/boltzgen.0.9/opam b/packages/boltzgen/boltzgen.0.9/opam
@@ -27,6 +27,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://git.lacl.fr/barbot/boltzgen.git"
 url {
   src:
     "https://git.lacl.fr/barbot/boltzgen/-/archive/release0.9/boltzgen-release0.9.tar.gz"

Original file line number	Diff line number	Diff line change
`@@ -27,6 +27,7 @@ build: [`
`27`	`27`	`"@doc" {with-doc}`
`28`	`28`	`]`
`29`	`29`	`]`
	`30`	`+dev-repo: "git+https://git.lacl.fr/barbot/boltzgen.git"`
`30`	`31`	`url {`
`31`	`32`	`src:`
`32`	`33`	`"https://git.lacl.fr/barbot/boltzgen/-/archive/release0.9/boltzgen-release0.9.tar.gz"`