As of August 2013, I can't see any description about license change on the website of TestU01. There is no source code distribution with GPL, either. Could you give me status update? If it is distributed under GPL, I'm willing to package it for Debian. --