[conf-flint] for ubuntu os-family is debian

Author: bobot

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

@@ -18,8 +18,8 @@ build: [
   ] {os = "macos"}
 ]
 depexts: [
-  ["libflint-dev"] {os-family = "debian"}
-  ["libflint-dev"] {os-family = "ubuntu" }
+  ["libflint-dev"] {os-distribution = "debian"}
+  ["libflint-dev"] {os-distribution = "ubuntu" }
   ["flint"] {os = "macos" & os-distribution = "homebrew"}
   ["flint"] {os-distribution = "macports" & os = "macos"}
   ["flint" "flint-devel"] {os-distribution = "centos"}
@@ -32,8 +32,8 @@ depexts: [
   ["flint"] {os-distribution = "arch"}
 ]
 available: [
-   !(os-family = "ubuntu" & os-version < "24.04") &
-   !(os-family = "debian" & os-version <= "12")
+   !(os-distribution = "ubuntu" & os-version < "24.04") &
+   !(os-distribution = "debian" & os-version <= "12")
 ]
 
 synopsis: "Virtual package relying on a Flint lib system installation"