tag 848913 +moreinfo thanks Hi, the bugreport is not quite clear for me. libeigen3-doc is built and the list of all files can be found here [1]. Please clarify the problem. [1] https://packages.debian.org/sid/all/libeigen3-doc/filelist Best regards Anton