this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Markus W. Weissmann <markus.weissmann@in.tum.de>"
3authors: [ "Markus W. Weissmann <markus.weissmann@in.tum.de>" ]
4homepage: "https://kernel.org/"
5bug-reports: "https://github.com/ocaml/opam-repository/issues"
6license: [ "GPL-2.0-only" ]
7build: [
8 ["sh" "-exc" "echo '#include <linux/stddef.h>' > test.c"]
9 ["cc" "-E" "test.c"]
10]
11depexts: [
12 ["linux-libc-dev"] {os-family = "debian"}
13 ["linux-libc-dev"] {os-family = "ubuntu"}
14 ["linux-glibc-devel"] {os-family = "suse" | os-family = "opensuse"}
15 ["kernel-headers"] {os-distribution = "fedora" | os-distribution = "rhel" | os-distribution = "centos" | os-distribution = "ol"}
16 ["linux-headers"] {os-family = "alpine"}
17 ["linux-api-headers"] {os-family = "arch"}
18]
19available: [os = "linux"]
20synopsis:
21 "Virtual package relying on the installation of the Linux kernel headers files"
22description:
23 "This package can only install if the kernel headers for user space applications are installed on the system."
24flags: conf