The Coq mailing list

[Guillaume Melquiond <guillaume.melquiond AT inria.fr>]

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