These are untested notes on getting the WNDA3100v2 to work on Linux. It’s actually a dual-band adapter so I figure it might be useful some day if it can be persuaded to work.
For Debian, I think you want to install
Use this Windows driver. Extract, and try
sudo ndiswrapper -i bcmn43xx64.inf
Next, check the result:
sudo modprobe ndiswrapper iwconfig