gnumach-headers 1.8-1.097f9cf GNU Mach kernel headers
Headers of the GNU Mach kernel.
- Website: https://www.gnu.org/software/hurd/microkernel/mach/gnumach.html
- License: GPL 2+
- Package source: hurd.scm
- Patches: None
- Builds: x86_64-linux, i686-linux
Headers of the GNU Mach kernel.