The HackRfOne SDR is open source which means it can be used with a wide range of devices, but it's not explicitly mentioned that it works with the PowerSDR-IF Stage. The only way to see if it works with PowerSDR-IF Stage is to actually test it or get this answer from the developers/manufacturers. They should have the knowledge to answer this question and luckily you can get in touch with them since the website works and can be accessed, but you need to visit GitHub to open a ticket on the issues page.
On the same page, you can see all the available files and release notes.
