On Sun, Jun 9, 2013 at 6:46 AM, Tobias Hansen wrote: > I took care of the packages of the Allegro packaging team. The last > package that has to be changed before liballegro4.2-dev can be renamed > is alex4. I can take a look at this today. -- bye, pabs http://wiki.debian.org/PaulWise