Problems for source package cvc4

BuildDepends

Package declares a build time dependency on python3 which cannot be satisfied on mipsel. Package cvc4 does not exist on mipsel.
Package declares a build time dependency on python3 which cannot be satisfied on mips. Package cvc4 does not exist on mips.
Package declares a build time dependency on python3 which cannot be satisfied on mips64el. Package cvc4 does not exist on mips64el.
Package declares a build time dependency on libgmp-dev which cannot be satisfied on mipsel. Package cvc4 does not exist on mipsel.
Package declares a build time dependency on libgmp-dev which cannot be satisfied on mips. Package cvc4 does not exist on mips.
Package declares a build time dependency on libgmp-dev which cannot be satisfied on mips64el. Package cvc4 does not exist on mips64el.
Package declares a build time dependency on chrpath which cannot be satisfied on mipsel. Package cvc4 does not exist on mipsel.
Package declares a build time dependency on chrpath which cannot be satisfied on mips64el. Package cvc4 does not exist on mips64el.
Package declares a build time dependency on chrpath which cannot be satisfied on mips. Package cvc4 does not exist on mips.
Package declares a build time dependency on cxxtest which cannot be satisfied on mipsel. Package cvc4 does not exist on mipsel.
Package declares a build time dependency on cxxtest which cannot be satisfied on mips64el. Package cvc4 does not exist on mips64el.
Package declares a build time dependency on cxxtest which cannot be satisfied on mips. Package cvc4 does not exist on mips.
Package declares a build time dependency on debhelper (>= 11) which cannot be satisfied on mipsel. Package cvc4 does not exist on mipsel.
Package declares a build time dependency on debhelper (>= 11) which cannot be satisfied on mips64el. Package cvc4 does not exist on mips64el.
Package declares a build time dependency on debhelper (>= 11) which cannot be satisfied on mips. Package cvc4 does not exist on mips.
Package declares a build time dependency on libreadline-dev which cannot be satisfied on mipsel. Package cvc4 does not exist on mipsel.
Package declares a build time dependency on libreadline-dev which cannot be satisfied on mips. Package cvc4 does not exist on mips.
Package declares a build time dependency on libreadline-dev which cannot be satisfied on mips64el. Package cvc4 does not exist on mips64el.
Package declares a build time dependency on libboost-thread-dev which cannot be satisfied on mipsel. Package cvc4 does not exist on mipsel.
Package declares a build time dependency on libboost-thread-dev which cannot be satisfied on mips64el. Package cvc4 does not exist on mips64el.
Package declares a build time dependency on libboost-thread-dev which cannot be satisfied on mips. Package cvc4 does not exist on mips.
Package declares a build time dependency on libantlr3c-dev which cannot be satisfied on mipsel. Package cvc4 does not exist on mipsel.
Package declares a build time dependency on libantlr3c-dev which cannot be satisfied on mips64el. Package cvc4 does not exist on mips64el.
Package declares a build time dependency on libantlr3c-dev which cannot be satisfied on mips. Package cvc4 does not exist on mips.
Package declares a build time dependency on pkg-config which cannot be satisfied on mips. Package cvc4 does not exist on mips.
Package declares a build time dependency on pkg-config which cannot be satisfied on mips64el. Package cvc4 does not exist on mips64el.
Package declares a build time dependency on pkg-config which cannot be satisfied on mipsel. Package cvc4 does not exist on mipsel.