Julien Puydt (Mar 18 2022 at 12:52): Julien Puydt (Mar 18 2022 at 12:52):Hi, I'm the Debian developer doing most of the work on coq-related packages these days ; we have had a long private chat with @Michael Soegtrop , and agree that we have common interests and problems and hence should cooperate and converge.
I have a comparison page to see how things compare between the two, which should help and be of general interest in this stream/channel.
Last updated: Jun 05 2023 at 09:01 UTC