cvc5 & cadical

[Gábor Németh]

Hi,
I'm trying to package cvc5 1.3.1. It depends on Cadical 2.1+ (vs 1.x in Debian) so I have a fork in Salsa for that 
too[1]. I did not send the MR yet as 2.1 breaks some of the IPASIR-UP API [2].

Is it OK to simply uplift (with a warning in apt upgrade notes? elsewhere?) or should a separately named package 
cadical2 be created?  If the latter, is it OK for cvc5 to dep on the new package? [3]

Thanks,
Gábor

[1] https://salsa.debian.org/homar/cadical
[2] https://github.com/arminbiere/cadical/releases/tag/rel-2.1.0
[3] https://salsa.debian.org/homar/cvc5/-/compare/master...master?from_project_id=78580