Package: cbmc Severity: serious Tags: sid buster User: [email protected] Usertags: default-java10
cbmc build-depends on openjdk-8-jdk that we plan to remove in Buster, it should use default-jdk instead.
- Bug#910704: cbmc: Build depend on default-jdk i... Emmanuel Bourg
- Bug#910704: marked as done (cbmc: Build de... Debian Bug Tracking System
