% cd ~ % tar zxvf Desktop/coq-8.9-mathcomp-1.11.0.tgz #Firefoxの場合 % tar zxvf Downloads/coq-8.9-mathcomp-1.11.0.tgz #Safariの場合
% tar zxvf ~/Downloads/mathcomp-1.11.0-CoqIDE-8.12.0.tgz -C /Applications/CoqIDE_8.12.0.app/Contents/Resources/