[graph-tool] Wheezy package is still 2.2.25

Hello, just wondering if still having 2.2.25 on wheezy is due to an understandable lack of time or wheezy is no longer supported. Thank you, Giuseppe