|
Distribution: sid
Problems for source package cbmc
Current Source Version: 5.12-5
Current Maintainer: Michael Tautschnig <mt@debian.org>
Section: main
BTS entry: https://bugs.debian.org/src:cbmc
BuildDependsPackage declares a build time dependency on libmaven-compiler-plugin-java (<< 3.8.2~) which cannot be satisfied on armhf. libmaven-compiler-plugin-java 3.10.1-2 is available.
Package declares a build time dependency on libmaven-compiler-plugin-java (<< 3.8.2~) which cannot be satisfied on i386. libmaven-compiler-plugin-java 3.10.1-2 is available.
Package declares a build time dependency on libmaven-compiler-plugin-java (<< 3.8.2~) which cannot be satisfied on s390x. libmaven-compiler-plugin-java 3.10.1-2 is available.
Package declares a build time dependency on libmaven-compiler-plugin-java (<< 3.8.2~) which cannot be satisfied on ppc64el. libmaven-compiler-plugin-java 3.10.1-2 is available.
Package declares a build time dependency on libmaven-compiler-plugin-java (<< 3.8.2~) which cannot be satisfied on armel. libmaven-compiler-plugin-java 3.10.1-2 is available.
Package declares a build time dependency on libmaven-compiler-plugin-java (<< 3.8.2~) which cannot be satisfied on mipsel. libmaven-compiler-plugin-java 3.10.1-2 is available.
Package declares a build time dependency on libmaven-compiler-plugin-java (<< 3.8.2~) which cannot be satisfied on amd64. libmaven-compiler-plugin-java 3.10.1-2 is available.
Package declares a build time dependency on libmaven-compiler-plugin-java (<< 3.8.2~) which cannot be satisfied on mips64el. libmaven-compiler-plugin-java 3.10.1-2 is available.
Package declares a build time dependency on libmaven-compiler-plugin-java (<< 3.8.2~) which cannot be satisfied on arm64. libmaven-compiler-plugin-java 3.10.1-2 is available.
Last updated: Thu Mar 23 15:25:12 2023
|