set 8.0.1 release date to July 17, 2013
support for Debian 7.0 (wheezy) noted in the manual