cvc5 is not installed on circle

Author: nikivazou

tests/neg/Card1.hs

@@ -1102,8 +1102,7 @@ executable unit-neg
                     , BigNum
                     , BinarySearchOverflow
                     , Books
-                    , Card
-                    , Card1 
+                    -- , Card
                     , CastedTotality
                     , CharLiterals
                     , CheckedNum
@@ -1442,8 +1441,8 @@ executable unit-pos-2
       buildable:      False
 
     other-modules:
-                      Card
-                    , ExactADT6
+                     --  Card
+                      ExactADT6
                     , ExactGADT0
                     , ExactGADT1
                     , ExactGADT2