Ssreflect Users Discussion List

[Ralph Matthes <>]

Le lundi 16 novembre 2009 à 16:01 +0100, François Garillot a écrit :
> Notice that, since you are running Ubuntu, you can find a package
> (albeit without manual) for ssreflect that will allow you to install
> the
> whole compilation chain coherently through apt/aptitude. It's native
> in
> karmic, and can be found for previous Ubuntu versions in the
> maintainer's ppa:
> 
> https://launchpad.net/~glondu/+archive/ppa
> 
> (the link explains how to set up your sources.list) 

Hi again,

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. 

Yours sincerely,    Ralph