Processing commands for cont...@bugs.debian.org: > found 1004463 python3-jsondiff/1.3.1-1 Bug #1004463 [python3-jsondiff,cbmc] python3-jsondiff,cbmc: File conflict for /usr/bin/jdiff The source python3-jsondiff and version 1.3.1-1 do not appear to match any binary packages Marked as found in versions python3-jsondiff/1.3.1-1. > found 1004463 cbmc/5.12-5 Bug #1004463 [python3-jsondiff,cbmc] python3-jsondiff,cbmc: File conflict for /usr/bin/jdiff Marked as found in versions cbmc/5.12-5. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1004463: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1004463 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
