this repo has no description

[conf-flint] os-family on opensuse tumbleweed is now opensuse

instead of suse

Changed files
+4 -2
packages
conf-flint
conf-flint.3.0
+4 -2
packages/conf-flint/conf-flint.3.0/opam
···
["flint" "flint-devel"] {os-distribution = "fedora"}
["flint" "flint-devel"] {os-distribution = "ol"}
["flint-dev"] {os-distribution = "alpine"}
-
["flint-devel"] {os-family = "suse"}
["libflint-devel"] {os = "win32" & os-distribution = "cygwinports"}
["flint"] {os-distribution = "nixos"}
["flint"] {os-distribution = "arch"}
]
available: [
!(os-distribution = "ubuntu" & os-version < "24.04") &
-
!(os-distribution = "debian" & os-version <= "12")
]
synopsis: "Virtual package relying on a Flint lib system installation"
···
["flint" "flint-devel"] {os-distribution = "fedora"}
["flint" "flint-devel"] {os-distribution = "ol"}
["flint-dev"] {os-distribution = "alpine"}
+
["flint-devel"] {os-family = "opensuse"}
["libflint-devel"] {os = "win32" & os-distribution = "cygwinports"}
["flint"] {os-distribution = "nixos"}
["flint"] {os-distribution = "arch"}
]
available: [
!(os-distribution = "ubuntu" & os-version < "24.04") &
+
!(os-distribution = "debian" & os-version <= "12") &
+
!(os-distribution = "fedora" & os-version <= "39") &
+
!(os-family = "suse")
]
synopsis: "Virtual package relying on a Flint lib system installation"