configure_coq.sh 1.07 KB