As of 7/27/2013, ArubaOS 6.1.4.5-FIPS has been added to the NIST website for all products (except the AP-120 series, which we expect is just a database update that hasn't taken effect yet.)
The software release is on the Aruba support site (http://support.arubanetworks.com) along with release notes.