ndiswrapper built for the currently running kernel in versions prior to 1.58-1; if the currently running kernel had no headers, building failed. This was fixed in 1.58-1
ndiswrapper (1.58-1) unstable; urgency=low
[...]
* Use $KERNELRELEASE as target kernel version (Closes: #693638)
[...]
-- Julian Andres Klode <email address hidden> Sun, 14 Jul 2013 20:02:35 +0200
This might be the cause of this problem, but I'm not entirely sure.
ndiswrapper built for the currently running kernel in versions prior to 1.58-1; if the currently running kernel had no headers, building failed. This was fixed in 1.58-1
ndiswrapper (1.58-1) unstable; urgency=low
[...]
* Use $KERNELRELEASE as target kernel version (Closes: #693638)
[...]
-- Julian Andres Klode <email address hidden> Sun, 14 Jul 2013 20:02:35 +0200
This might be the cause of this problem, but I'm not entirely sure.