Processing control commands: > reassign -1 frama-c Bug #1023712 [src:why3] why3 breaks frama-c (autopkgtest): missing versioned Breaks? Bug reassigned from package 'src:why3' to 'frama-c'. No longer marked as found in versions why3/1.5.1-1. Ignoring request to alter fixed versions of bug #1023712 to the same values previously set
-- 1023712: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023712 Debian Bug Tracking System Contact [email protected] with problems
