Package: kfreebsd-kernel-headers Severity: normal Hello,
For IPMI kernel driver support in ipmitool, kfreebsd-kernel-headers should include sys/ipmi.h. Samuel -- System Information: Debian Release: wheezy/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 3.0.0 (SMP w/8 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash -- Samuel Thibault <[email protected]> * c is away : cuisine; bouffe <y> oh, moi je fais plutôt cuisine & bouffe en fait :) <c> oui c'est vrai, certains font cuisine && bouffe (juste au cas où... ;-)) <y> ( cuisine && bouffe ) || restau <N> voire ((cuisine && bouffe) || restau) & apéritif -+- #ens-mim -+- -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

