Was There a Release of WMI for Windows NT 4.0 Running on DEC Alpha?

Windows Management Instrumentation (WMI) was made available as a separate download for Windows NT 4.0 SP4 and above. I know that WMI installs and works great on Intel IA32 (x86) flavors of NT4, because I have the WMI redistributable and I’ve tested it.

However, Windows NT 4.0 Service Pack 4 (SP4), SP5, SP6, and SP6a were released for both the Intel IA32 (x86) and DEC Alpha architectures of Windows NT 4.

My question is: did Microsoft release a WMI redistributable for NT4 that worked on DEC Alpha?

I have a WMI redistributable for NT4 (wmint4.exe, SHA256: A958C28D19507784BC66D42404952D755281FF3549660605613C4EDD3E489809), but I do not have a DEC Alpha system to know if it would install there. I could also speculate that there may have been a separate download for DEC Alpha NT4 systems.

For completion sake, it is worth noting that Windows NT 4 was originally released for MIPS and PowerPC platforms, too, but Microsoft abandoned further development for these platforms before the release of SP4. Because the WMI redistributable required SP4, I can conclude that WMI could not be added to MIPS or PowerPC versions of NT4.