Como instalar o SSReflect e o MathComp no Linux?

Instalei com êxito o Coq 8.6 e o CoqIDE no Linux (Ubuntu 17.04). No entanto, não sei como proceder para adicionar SSReflect e MathComp a esta instalação. Todas as referências que verifiquei me pareciam muito confusas. Alguém tem uma ...