Update packages/kind2/kind2.2.3.0/opam

mseri · web-flow · commit 3761ab76f620 · 2025-02-27T15:52:51.000+01:00
diff --git a/packages/kind2/kind2.2.3.0/opam b/packages/kind2/kind2.2.3.0/opam
@@ -39,6 +39,7 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+available: os != "win32"
 dev-repo: "git+https://github.com/kind2-mc/kind2.git"
 url {
   src: "https://github.com/kind2-mc/kind2/archive/refs/tags/v2.3.0.tar.gz"

Original file line number	Diff line number	Diff line change
`@@ -39,6 +39,7 @@ build: [`
`39`	`39`	`"@doc" {with-doc}`
`40`	`40`	`]`
`41`	`41`	`]`
	`42`	`+available: os != "win32"`
`42`	`43`	`dev-repo: "git+https://github.com/kind2-mc/kind2.git"`
`43`	`44`	`url {`
`44`	`45`	`src: "https://github.com/kind2-mc/kind2/archive/refs/tags/v2.3.0.tar.gz"`