The Coq mailing list

[Pierre Courtieu <pierre.courtieu AT gmail.com>]

Benjamin, an access to the git would be great!

Michael, I am planning to say exactly that to the engineer responsible
for the installation of coq in the university in which I give this
course. Hopefully next year we will have a more recent version. By the
way I have no experience in using opam to install things for all
accounts on a machine. Another solution would be to ask each student
to install opam, ocaml, coq and coqide in there account but is it
really reasonable in terms of disk space?

Best,
Pierre

Le lun. 21 déc. 2020 à 17:57, Clément Pit-Claudel
<cpitclaudel AT gmail.com> a écrit :
>
> On 12/21/20 10:03 AM, Pierre Courtieu wrote:
> > Hi, I post this question here, since I didn't find a more dedicated
> > channel. Please feel free to point me to a more appropriate one.
> >
> > For technical reasons I need a version of software foundation that
> > would compile with coq-8.9. What is the standard way to obtain it
> > please?
>
> The web archive has a few old releases:
> - 
> https://web.archive.org/web/20190317204001/https://softwarefoundations.cis.upenn.edu/lf-current/lf.tgz
>  (09 Jan 2019, Coq 8.8.1)
> - 
> https://web.archive.org/web/20190317204037/https://softwarefoundations.cis.upenn.edu/plf-current/plf.tgz
>  (08 Feb 2019, Coq 8.8.1)