coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Dominic Mulligan <dominic.p.mulligan AT googlemail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Building the Containers library
- Date: Fri, 12 Oct 2012 13:49:01 +0100
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
>
- [Coq-Club] Building the Containers library, Dominic Mulligan, 10/12/2012
- Re: [Coq-Club] Building the Containers library, Guillaume Melquiond, 10/12/2012
- Re: [Coq-Club] Building the Containers library, Dominic Mulligan, 10/12/2012
- Re: [Coq-Club] Building the Containers library, Guillaume Melquiond, 10/12/2012
Archive powered by MHonArc 2.6.18.