anil.recoil.org / opam-repository
this repo has no description
fork atom

Merge pull request #24974 from kit-ty-kate/fix-253

conf-gmp: Add support for distributions derived from fedora

Marcello Seri 3eadcddc 67095a99

options
unified split
Changed files
+1 -1
packages
conf-gmp
conf-gmp.4
opam
+1 -1
packages/conf-gmp/conf-gmp.4/opam 
···

       
22

       
 

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


     

       
23

       
 

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


     

       
24

       
 

       
  ["gmp" "gmp-devel"] {os-distribution = "centos"}


     

       
25

       
-

       
  ["gmp" "gmp-devel"] {os-distribution = "fedora"}


     

       
26

       
 

       
  ["gmp" "gmp-devel"] {os-distribution = "ol"}


     

       
27

       
 

       
  ["gmp"] {os = "openbsd"}


     

       
28

       
 

       
  ["gmp"] {os = "freebsd"}


     
···

       
22

       
 

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


     

       
23

       
 

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


     

       
24

       
 

       
  ["gmp" "gmp-devel"] {os-distribution = "centos"}


     

       
25

       
+

       
  ["gmp" "gmp-devel"] {os-distribution = "fedora" | os-family = "fedora"}


     

       
26

       
 

       
  ["gmp" "gmp-devel"] {os-distribution = "ol"}


     

       
27

       
 

       
  ["gmp"] {os = "openbsd"}


     

       
28

       
 

       
  ["gmp"] {os = "freebsd"}