Package: python-pysnmp4

"python-pysnmp4" package binaries on Debian:

/usr/bin/build-pysnmp-mib /usr/bin/libsmi2pysnmp

You may install this package on Debian with apt-get install python-pysnmp4