Use os-version for debian

bobot · bobot · commit 9c2df017413e · 2024-07-11T14:18:31.000+02:00
diff --git a/packages/conf-flint/conf-flint.3.0/opam b/packages/conf-flint/conf-flint.3.0/opam
@@ -32,7 +32,8 @@ depexts: [
   ["flint"] {os-distribution = "arch"}
 ]
 available: [
-   !(os-family = "ubuntu" & os-version < "24.04")
+   !(os-family = "ubuntu" & os-version < "24.04") &
+   !(os-family = "debian" & os-version <= "12")
 ]
 
 synopsis: "Virtual package relying on a Flint lib system installation"

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,8 @@ depexts: [`
`32`	`32`	`["flint"] {os-distribution = "arch"}`
`33`	`33`	`]`
`34`	`34`	`available: [`
`35`		`- !(os-family = "ubuntu" & os-version < "24.04")`
	`35`	`+ !(os-family = "ubuntu" & os-version < "24.04") &`
	`36`	`+ !(os-family = "debian" & os-version <= "12")`
`36`	`37`	`]`
`37`	`38`
`38`	`39`	`synopsis: "Virtual package relying on a Flint lib system installation"`