Michael Soegtrop (Jan 24 2023 at 08:52): Michael Soegtrop (Jan 24 2023 at 08:52):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.
Karl Palmskog (Jan 24 2023 at 09:50):the "other" Julien is @Julien Puydt|423604, and shows up if you start to write @Jul
Karl Palmskog (Jan 24 2023 at 09:57):I see it in list of suggested users, maybe fill in some more letters, like @Julien
Michael Soegtrop (Jan 24 2023 at 10:01):@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.
Notification Bot (Jan 24 2023 at 10:05):A message was moved here from #Coq Platform devs & users > Alternative way to install Coq Platform by Théo Zimmermann.
Théo Zimmermann (Jan 24 2023 at 10:07):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.
Notification Bot (Jan 24 2023 at 10:08):Julien Puydt has marked this topic as resolved.
Last updated: Jun 03 2023 at 05:01 UTC