migrate to melpa2nix
update cvc4.nix
more melpa2nix expressions