The Coq mailing list

[Dominic Mulligan <dominic.p.mulligan AT googlemail.com>]

Paolo, Guillaume,

Thanks both for your help.  I had inadvertently downloaded the v8.3
version instead of the v8.4 one.  I've managed to get the library
installed now.

Thanks,
Dominic

On Fri, 2012-10-12 at 14:38 +0200, Guillaume Melquiond wrote:
> Le vendredi 12 octobre 2012 à 11:43 +0100, Dominic Mulligan a écrit :
> 
> > I can't seem to find reference to this problem elsewhere, which suggests
> > maybe I am doing something wrong.
> > 
> > Can anybody shed some light on what is happening here?
> 
> Could it be that you are using the Coq 8.3 version of the library? The
> following archive works fine for me with Coq 8.4.
> 
> http://coq.inria.fr/pylons/contribs/files/Containers/v8.4/Containers.tar.gz
> 
> Best regards,
> 
> Guillaume
>