this repo has no description
Merge pull request #25975 from jmid/expand-conf-ninja
conf-ninja: add Ubuntu family support
authored by
Marcello Seri
and committed by
GitHub
ddbad31c
1b6ee7ff
+1
-1
+1
-1
packages/conf-ninja/conf-ninja.1/opam
+1
-1
packages/conf-ninja/conf-ninja.1/opam
···
5
5
license: "Apache-2.0"
6
6
build: ["ninja" "--version"]
7
7
depexts: [
8
-
["ninja-build"] {os-family = "debian" | os-family = "fedora" | os-distribution = "ol"}
8
+
["ninja-build"] {os-family = "debian" | os-family = "ubuntu" | os-family = "fedora" | os-distribution = "ol"}
9
9
["samurai"] {os-distribution = "alpine"}
10
10
["ninja"] {os-family = "arch" | os-family = "suse" | os-family = "opensuse" | os-family = "bsd"}
11
11
["ninja"] {os = "macos" & ( os-distribution = "homebrew" | os-distribution = "macports" )}