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 -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
