Error

two or more packages specified (python3-cvc5 javascript)