Issue details for source cbmc/5.12-5

in pureos/crimson amd64

Missing dependencies

  • libmaven-compiler-plugin-java:amd64 (< 3.8.2~)

    Required by: cbmc
    Version: 5.12-5
    Type: Source Package