Processing control commands: > block -1 by 1111868 Bug #922877 [boolector] boolector: new upstream version (3.1.0) (now MIT licensed) 922877 was not blocked by any bugs. 922877 was not blocking any bugs. Added blocking bug(s) of 922877: 1111868 -- 922877: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=922877 Debian Bug Tracking System Contact owner@bugs.debian.org with problems