coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Software foundation for older versions of coq

From: Benjamin Pierce <bcpierce AT cis.upenn.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Software foundation for older versions of coq
Date: Mon, 21 Dec 2020 11:01:26 -0500
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bcpierce AT cis.upenn.edu; spf=Pass smtp.mailfrom=bcpierce AT seas.upenn.edu; spf=None smtp.helo=postmaster AT mail-qk1-f171.google.com
Ironport-phdr: 9a23:0xJ1UhNrL3bUR2D5gKMl6mtUPXoX/o7sNwtQ0KIMzox0Ivn7rarrMEGX3/hxlliBBdydt6sbzbCO6eu8ACQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagY75+Ngu6oRnPusUZjoZuN7s6xwfUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gyoBKjU38nzYitZoga1Hrx2vuhxxzIzabo+aN/R+cL3Tc9QBSGpdR8ZRUjBNAoOgY4cRCecKIOZWr5P6p1sLtRazGBejBOXtyjBSg3/23Ks62Pk7HwHHwgMgBc4Bv2rJp9jyL6gdTfi1zKjWwjXZc/xZxyzw55TJchA6u/2MQKpwftTXyUkpDQ/KkEifqZH8Mj6Ty+8CvHSV4fB6WuKzl24otRtxoj63y8kshYfEmoIYx1DL+Ch73oo7KsC1RU10bNO6DJZdtC+UOpZ0T84+Q29kpiU3x7MatJC0fCYHx5QqywPCZ/GJfIaF5A/oWuWJITpgmn5pZLayiwyx/EWg0OHwSNe43EhQoiZYkNTAq2gB2wHP5sWEUPdw8V2t1SiA2gzP8O1JI045mKzGIJA72LEwjIAcsUHbEy/2hkr2iKiWe10h+uey6uTnZqzqpoafN4Npkw3+PLkil86iDegiPQgOWG+b+eu41LL950H2XLJKjvgunqnYtpDVO9gbq7anDwNJ1osv8RWyAje83NgGg3ULMkhJdA+FgoT0I13OJer3Dfa7g1SiijdrwPXGM6X6DZrRNnjDkanufaxh5EFC0wcz1s5Q6IhPCr0bPfLzQlH+tNreDhMjLQO73vvnBM1n1owCQWKPHrOZMKTKvFCU4eIvOvCAa5MRuDbgMPco/OXujH88mV8FZ6alx5oXaHaiHvRnOUqVe3Tsgs1SWVsN6wE5VanhjECIeT9VfXe7GawmtR8hD4fzJ4rFRImogbrJ5Ca2BJZbLjRMAUiNHG3jeq2PWuxKdTqfJMknnzAZA+vyA7Q93A2j4Vepg4FsKfDZr3VB5MDTkeNt7uiWrikcsDl9DsCTyWaIFj8mhW4BXHkrxK15pwpwxkrRiPEk0cwdLsRa4rZyail/LYTVlrEoANHpHB/Zc9GPDluqX4f+WGxjfpcK29YLJn1FNZCigxTEhXT4BrYUk/mSB8Vx/PuDhj7+IMFyz3uA364k3QEr

Hi Pierre,

Do you need just the first volume? This version is advertised to work with
8.8, so 8.9 might be fine.

Otherwise I can give you access to the developer git repo and you can find
what you need there.

- B

> On Dec 21, 2020, at 10:03 AM, Pierre Courtieu <pierre.courtieu AT gmail.com>
> 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?
>
> Best regards,
> Pierre

[Coq-Club] Software foundation for older versions of coq, Pierre Courtieu, 12/21/2020
- Re: [Coq-Club] Software foundation for older versions of coq, Benjamin Pierce, 12/21/2020
  - Re: [Coq-Club] Software foundation for older versions of coq, Benjamin Pierce, 12/21/2020
  - Re: [Coq-Club] Software foundation for older versions of coq, Pierre Courtieu, 12/21/2020
    - Re: [Coq-Club] Software foundation for older versions of coq, Benjamin Pierce, 12/21/2020
    - Re: [Coq-Club] Software foundation for older versions of coq, Michael Soegtrop, 12/21/2020
      - Re: [Coq-Club] Software foundation for older versions of coq, manoury, 12/21/2020
        
        Re: [Coq-Club] Software foundation for older versions of coq, Michael Soegtrop, 12/22/2020
        
        Re: [Coq-Club] Software foundation for older versions of coq, Pierre Courtieu, 12/22/2020
        
        Re: [Coq-Club] Software foundation for older versions of coq, Benoît Viguier, 12/22/2020
        
        Re: [Coq-Club] Software foundation for older versions of coq, Michael Soegtrop, 12/23/2020
      - Re: [Coq-Club] Software foundation for older versions of coq, Stefan Monnier, 12/22/2020