coco-coq-wrapper.sh

game

Fedora
RUN dnf install -y coco-coq
click the source code to copy install coco-coq-wrapper.sh on any operating system with command-not-found.com