Wersja 8.15.0 jest na students w katalogu

 /opt/coq815/bin

Należy zmienić PATH (dołożyć powyższą ścieżkę przed /usr/bin/ bo tam jest jakiś stary coqc) a nastepnie użyć:

coqide examples.v &