Error

two or more packages specified (python3-cryptominisat unknown)