cvc4: 1.6 -> 1.8
cvc4: 1.6 -> 1.8

Co-authored-by: Gabriel Ebner <2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org>

Update pkgs/applications/science/logic/cvc4/default.nix

Co-authored-by: Gabriel Ebner <2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org>

NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs,NixOS/nixpkgs