Package: ftp.debian.org There's an override of this file for being in section "devel", when actually it should be "libdevel" in my opinion. Could you please fix that? Thanks in advance. Cheers.