Package: python-pysnmp4-mibs

"python-pysnmp4-mibs" package binaries on Debian:

/usr/bin/rebuild-pysnmp-mibs

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