Processing control commands: > close -1 1.5.0-1 Bug #1014358 [src:why3] src:why3: fails to migrate to testing for too long: blocked by dependency Marked as fixed in versions why3/1.5.0-1. Bug #1014358 [src:why3] src:why3: fails to migrate to testing for too long: blocked by dependency Marked Bug as done
-- 1014358: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1014358 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
