% cd ~ % tar zxvf Desktop/mathcomp-1.7.0-media.tgz #Firefoxの場合 % tar zxvf Downloads/mathcomp-1.7.0-media.tgz #Safariの場合
% tar zxvf ~/Downloads/mathcomp-1.7.0-CoqIde8.9.0.tgz -C /Applications/CoqIDE_8.9.0.app/Contents/Resources/lib/coq/user-contrib/でインストールできる