Stream: math-comp devs

Topic: finmap 2.1.0


view this post on Zulip Pierre Roux (Jan 17 2024 at 13:36):

Latest release 2.0.0 doesn't compile with new MC 2.2.0, could anyone merge https://github.com/math-comp/finmap/pull/111 (that updates CI there) and release a finmap 2.1.0 that would be compatible with MC 2.0 to 2.2 and Coq 8.16 to 8.19? (I'd do myself it if I had the rights on gh but I don't)


Last updated: Jul 23 2024 at 20:01 UTC