http://beecoder.org/de/linux/how-to-install-libssreflect-coq-in-linux