···

       
18
       
18
       
 
       
  ] {os = "macos"}

     

       
19
       
19
       
 
       
]

     

       
20
       
20
       
 
       
depexts: [

     

       
21
       
21
       
-
       
  ["libflint-dev"] {os-family = "debian"}

     

       
22
       
22
       
-
       
  ["libflint-dev"] {os-family = "ubuntu" }

     

       
21
       
21
       
+
       
  ["libflint-dev"] {os-distribution = "debian"}

     

       
22
       
22
       
+
       
  ["libflint-dev"] {os-distribution = "ubuntu" }

     

       
23
       
23
       
 
       
  ["flint"] {os = "macos" & os-distribution = "homebrew"}

     

       
24
       
24
       
 
       
  ["flint"] {os-distribution = "macports" & os = "macos"}

     

       
25
       
25
       
 
       
  ["flint" "flint-devel"] {os-distribution = "centos"}

     
···

       
32
       
32
       
 
       
  ["flint"] {os-distribution = "arch"}

     

       
33
       
33
       
 
       
]

     

       
34
       
34
       
 
       
available: [

     

       
35
       
35
       
-
       
   !(os-family = "ubuntu" & os-version < "24.04") &

     

       
36
       
36
       
-
       
   !(os-family = "debian" & os-version <= "12")

     

       
35
       
35
       
+
       
   !(os-distribution = "ubuntu" & os-version < "24.04") &

     

       
36
       
36
       
+
       
   !(os-distribution = "debian" & os-version <= "12")

     

       
37
       
37
       
 
       
]

     

       
38
       
38
       
 
       


     

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