Skip to content

Commit 25ba781

Browse files
committed
[conf-flint] os-family on opensuse tumbleweed is now opensuse
instead of suse
1 parent 3a56e0e commit 25ba781

File tree

1 file changed

+4
-2
lines changed
  • packages/conf-flint/conf-flint.3.0

1 file changed

+4
-2
lines changed

packages/conf-flint/conf-flint.3.0/opam

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -26,14 +26,16 @@ depexts: [
2626
["flint" "flint-devel"] {os-distribution = "fedora"}
2727
["flint" "flint-devel"] {os-distribution = "ol"}
2828
["flint-dev"] {os-distribution = "alpine"}
29-
["flint-devel"] {os-family = "suse"}
29+
["flint-devel"] {os-family = "opensuse"}
3030
["libflint-devel"] {os = "win32" & os-distribution = "cygwinports"}
3131
["flint"] {os-distribution = "nixos"}
3232
["flint"] {os-distribution = "arch"}
3333
]
3434
available: [
3535
!(os-distribution = "ubuntu" & os-version < "24.04") &
36-
!(os-distribution = "debian" & os-version <= "12")
36+
!(os-distribution = "debian" & os-version <= "12") &
37+
!(os-distribution = "fedora" & os-version <= "39") &
38+
!(os-family = "suse")
3739
]
3840

3941
synopsis: "Virtual package relying on a Flint lib system installation"

0 commit comments

Comments
 (0)