The Coq mailing list

[Benjamin Pierce <bcpierce AT cis.upenn.edu>]

… but Coq / CoqIDE / PG can be installed on major platforms without opam, no?

> On Dec 21, 2020, at 1:28 PM, Pierre Courtieu <pierre.courtieu AT gmail.com> 
> wrote:
> 
> Interesting. Well you need at least ocaml somewhere since opam uses
> it. But it can be installed by other means.
> 
> Thanks for the remarks all.
> Best,
> Pierre
> 
> Le lun. 21 déc. 2020 à 19:22, Benjamin Pierce <bcpierce AT cis.upenn.edu> a 
> écrit :
>> 
>>> 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?
>> 
>> This is exactly what we do at Penn.  ~70 students / year, no complaints.  
>> (Except: We don’t ask them to install OCaml — do you really need it?)
>> 
>>   - B
>> 
>>> 
>>> 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)
>>