cvc5

Reported FTBFS bugs

• #1122401: FTBFS: /<<PKGBUILDDIR>>/src/prop/cadical.cpp:88:8: error: 'void cvc5::internal::prop::CadicalPropagator::notify_assignment(int, bool)' marked 'override', but does not override

Cross build dependency satisfiability

See also

• bootstrap.debian.net
• debcheck

Cross builds

No build performed yet.