Package: libslepc3.4.2-dev Version: 3.4.2.dfsg-2 Followup-For: Bug #751245 Dear Maintainer, libslepc3.4.2-dev also ships the file /usr/lib/slepcdir/3.4.2/linux-gnu-c-opt/include/slepcstdef.mod therefore it incures the same problem and is fixed in one go with the same remedy. bye Giacomo