this repo has no description
gnustep-gui-devel is only available as 3-rd party pkg on fedora.
-2
-2
packages/conf-gnustep-gui/conf-gnustep-gui.1/opam
-2
packages/conf-gnustep-gui/conf-gnustep-gui.1/opam
···
5
5
authors: "The GNUstep devs"
6
6
license: "LGPL-2.1-only"
7
7
build: [
8
-
["rpm" "-q" "gnustep-gui-devel"] {os-distribution = "fedora"}
9
8
["pkg" "info" "gnustep-gui"] {os = "freebsd"}
10
9
]
11
10
depexts: [
12
-
["gnustep-gui-devel"] {os-distribution = "fedora"}
13
11
["gnustep-gui"] {os = "freebsd"}
14
12
]
15
13
available: os = "freebsd" | os-distribution = "fedora"