Ssreflect Users Discussion List

[Stéphane Glondu <>]

Ralph Matthes a écrit :
> At home, I have Ubuntu 9.10, and I got the packages from Stéphane Glondu
> in the way described on the page you gave me. You speak above about the
> "compilation chain". Yes, but how can I solve my problem? It was that I
> cannot obtain ssrcoqide in the way described in the INSTALL file. If I
> am not mistaken, this is not part of Glondu's packages. ssreflect.cmx is
> not there either. 

With my packages, you don't need to build ssrcoqide. Please have a look
at /usr/share/doc/libssreflect-coq/README.Debian.


Best regards,

-- 
Stéphane Glondu