this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #24702 from jmid/conf-pkg-config-mint-support

Add Linux Mint support to conf-pkg-config

authored by

Marcello Seri and committed by
GitHub
be18c0a3 39212680

+1 -1
+1 -1
packages/conf-pkg-config/conf-pkg-config.3/opam
··· 8 8 ["pkg-config" "--help"] {os != "openbsd"} 9 9 ] 10 10 depexts: [ 11 - ["pkg-config"] {os-family = "debian"} 11 + ["pkg-config"] {os-family = "debian" | os-family = "ubuntu"} 12 12 ["pkgconf"] {os-distribution = "arch"} 13 13 ["pkgconf-pkg-config"] {os-distribution = "fedora"} 14 14 ["pkgconfig"] {os-distribution = "centos" & os-version <= "7"}