[SR-Users] missing mediaprpxy-ng debian dependency

[Juha Heinanen]

i tried to install mediaproxy-ng by apt-get and got the following error:

Error: Your kernel headers for kernel 3.2.0-4-486 cannot be found.
Please install the linux-headers-3.2.0-4-486 package.

apt-get automatically installed linux-headers-3.2.0-4-common and
linux-headers-3.2.0-4-686-pae, but not the above mentioned package.

is there some dependency (like linux-headers-3.2.0-4-all) missing from
debian/control file?

-- juha