Processed: Re: why3 breaks frama-c (autopkgtest): missing versioned Breaks?
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 owner@bugs.debian.org with problems
Reply to: