Package: cbmc Severity: serious Tags: sid buster User: debian-j...@lists.debian.org Usertags: default-java10
cbmc build-depends on openjdk-8-jdk that we plan to remove in Buster, it should use default-jdk instead.
Package: cbmc Severity: serious Tags: sid buster User: debian-j...@lists.debian.org Usertags: default-java10
cbmc build-depends on openjdk-8-jdk that we plan to remove in Buster, it should use default-jdk instead.