Processing control commands: > tags 952256 + patch Bug #952256 [src:cbmc] cbmc: FTBFS: cp: cannot stat '../../../lib/java-models-library/target/core-models.jar': No such file or directory Added tag(s) patch. > tags 952256 + pending Bug #952256 [src:cbmc] cbmc: FTBFS: cp: cannot stat '../../../lib/java-models-library/target/core-models.jar': No such file or directory Added tag(s) pending.
-- 952256: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=952256 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
