Problems for source package cvc5

BuildDepends

Package declares a build time dependency on libcryptominisat5-dev which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on libcryptominisat5-dev which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on libgmp-dev which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on libgmp-dev which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on cython3 which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on cython3 which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on python3 which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on python3 which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on python3-skbuild which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on python3-skbuild which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on python3-pytest which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on python3-pytest which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on libcadical-dev which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on libcadical-dev which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on libsymfpu-dev which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on libsymfpu-dev which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on cmake which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on cmake which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on chrpath which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on chrpath which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on python3-dev which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on python3-dev which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on dh-sequence-python3 which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on dh-sequence-python3 which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on libfl-dev which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on libfl-dev which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on libcln-dev which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on libcln-dev which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on debhelper-compat (= 13) which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on debhelper-compat (= 13) which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on libreadline-dev which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on libreadline-dev which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on libboost-thread-dev which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on libboost-thread-dev which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on pkgconf which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on pkgconf which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on python3-pyparsing which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on python3-pyparsing which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on python3-setuptools which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.
Package declares a build time dependency on python3-setuptools which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on cxxtest which cannot be satisfied on armel. Package cvc5 does not exist on armel.
Package declares a build time dependency on cxxtest which cannot be satisfied on mips64el. Package cvc5 does not exist on mips64el.