Processed: RM: liballegro4.2-dev -- ROM; NVIU; package was renamed

[Debian Bug Tracking System]

Processing control commands:

> block 714595 by -1
Bug #714595 [liballegro4.2-dev] liballegro4.2-dev: not installable in sid
714595 was not blocked by any bugs.
714595 was not blocking any bugs.
Added blocking bug(s) of 714595: 716894

-- 
714595: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=714595
716894: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=716894
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems