Processing commands for cont...@bugs.debian.org: > retitle 1073819 flatzinc: mznlib is too old for current minizinc Bug #1073819 [minizinc-ide] minizinc-ide: Error at runtime on current testing/sid version. Changed Bug title to 'flatzinc: mznlib is too old for current minizinc' from 'minizinc-ide: Error at runtime on current testing/sid version.'. > reassign 1073819 flatzinc Bug #1073819 [minizinc-ide] flatzinc: mznlib is too old for current minizinc Bug reassigned from package 'minizinc-ide' to 'flatzinc'. No longer marked as found in versions minizinc-ide/2.8.2-1. Ignoring request to alter fixed versions of bug #1073819 to the same values previously set > found 1073819 6.2.0-5.1 Bug #1073819 [flatzinc] flatzinc: mznlib is too old for current minizinc Marked as found in versions gecode/6.2.0-5.1. > severity 1073819 important Bug #1073819 [flatzinc] flatzinc: mznlib is too old for current minizinc Severity set to 'important' from 'grave' > thanks Stopping processing here.
Please contact me if you need assistance. -- 1073819: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073819 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
