Robuta

https://archlinux.org/packages/extra/x86_64/linux-hardened-headers/ Arch Linux - linux-hardened-headers 7.0.8.hardened1-1 (x86_64) arch linux hardened headers https://lists.debian.org/debian-ocaml-maint/2016/01/msg00256.html Bug#812786: dose3: Please add support for hardened1-linux-amd64 add support bug please linux