2013/5/23 Julien Cristau <jcristau@debian.org>: > Why does the -dev package name change? Historically. It seems, there will not be any newer releases of this library. Anton