Bug#725273: kfreebsd-kernel-headers: Empty /usr/include/sys/kern/ directory

[Christian Marillat <marillat@deb-multimedia.org>]

Package: kfreebsd-kernel-headers
Version: 9.2~3
Severity: serious

Dear Maintainer,

/usr/include/sys/kern/ is empty :

$ ls -la  /usr/include/sys/kern/        
total 14
drwxr-xr-x 2 root root   512 Oct  3 18:07 .
drwxr-xr-x 4 root root 10752 Oct  3 18:07 ..

Christian

-- System Information:
Debian Release: jessie/sid
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: i386 (i686)

Kernel: Linux 3.10.13 (SMP w/8 CPU cores; PREEMPT)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash