Btw.: @Julien Puydt : are there plans to provide 8.16.1? Is the above list up to date?
P.S.: there are two Julien Puydt Coq Zulip accounts - I guess both are yours. You might want to delete one.
the "other" Julien is
@Julien Puydt|423604, and shows up if you start to write
I see it in list of suggested users, maybe fill in some more letters, like
@Julien Puydt : regarding the 2 accounts : I see two if I type
@Julien - one at the top and one close to the bottom. If I type
@Puydt I see just your 2 accounts.
A message was moved here from #Coq Platform devs & users > Alternative way to install Coq Platform by Théo Zimmermann.
I tried to split this thread, but it is missing the answers from @Julien Puydt because they were not in messages separate from the ones relevant to the other topic.
Julien Puydt has marked this topic as resolved.
Last updated: Jun 03 2023 at 05:01 UTC