We are in the process of updating the packages and installation procedure for Cred Manager this week. It's lagging the Gluu Server 3.1.4 release a little. Cred Manager is about to be re-branded to "Casa"... so there is some other stuff in the works this week. Jose can update this ticket when 3.1.4 is ready. You may want to just wait a week.