verification: add coq files to list-nobuild when Coq is not installed
verification: add coq files to list-nobuild when Coq is not installed

fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared,fishilico/shared