Processed: src:why3: fails to migrate to testing for too long: blocked by dependency
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 owner@bugs.debian.org with problems
Reply to: