Processing commands for cont...@bugs.debian.org:
> tags 952256 + fixed
Bug #952256 {Done: Michael Tautschnig <m...@debian.org>} [src:cbmc] cbmc:
FTBFS: cp: cannot stat
'../../../lib/java-models-library/target/core-models.jar': No such file or
directory
Added tag(s) fixed.
> thanks
Stopping processing here.Please contact me if you need assistance. -- 952256: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=952256 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
