package conf-linux-libc-dev
Virtual package relying on the installation of the Linux kernel headers files
Install
dune-project
Dependency
Authors
Maintainers
Description
This package can only install if the kernel headers for user space applications are installed on the system.
Published: 15 Aug 2017
Dependencies
None
Dev Dependencies
None
Used by (8)
-
coq-core
>= "8.19.0" & < "9.0.0" -
hvsock
>= "3.0.1" - i2c
-
mirage-block-unix
>= "2.12.1" - mperf
- polly
- rocq-runtime
- socketcan
Conflicts
None
On This Page