Stream: Coq devs & plugin devs

Topic: Coq 8.19.1 in Debian


view this post on Zulip Julien Puydt (Mar 13 2024 at 09:42):

Hi, here is the status of Coq 8.19.1 in Debian - quite a few things are stalled:

view this post on Zulip Pierre Roux (Mar 13 2024 at 09:53):

@Julien Puydt for mathcomp-finmap, which version have you tried? 2.1.0 should work

view this post on Zulip Julien Puydt (Mar 13 2024 at 09:56):

@Pierre Roux You're right, I didn't see 2.1.0 was out, let me try

view this post on Zulip Pierre Roux (Mar 13 2024 at 09:57):

Then , this should indeed get you multinomials, analysis and coqeal


Last updated: Oct 13 2024 at 01:02 UTC