attempt to create a simplified shell for opam when installing coq - View it on GitHub