List view
- Due by October 24, 2025•31/31 issues closed
- Due by August 29, 2025•16/16 issues closed
- Due by June 30, 2025•31/31 issues closed
- Due by May 30, 2025•17/17 issues closed
- Due by April 30, 2025•48/48 issues closed
- Due by February 19, 2025•34/34 issues closed
- Due by December 31, 2024•16/16 issues closed
- Due by November 22, 2024•2/2 issues closed
- Due by November 29, 2024•9/9 issues closed
- Due by October 31, 2024•10/10 issues closed
- Due by September 23, 2024•30/30 issues closed
- Due by July 31, 2024•27/27 issues closed
- Due by May 31, 2024•28/28 issues closed
- Due by March 29, 2024•9/9 issues closed
- Due by March 29, 2024•10/10 issues closed
- Due by January 19, 2024•7/7 issues closed
- Due by December 25, 2023•26/26 issues closed
- Due by January 26, 2024•6/6 issues closed
- Due by November 10, 2023•25/25 issues closed
- Due by September 15, 2023•13/13 issues closed
- Due by July 28, 2023•18/18 issues closed
- Due by June 9, 2023•18/18 issues closed
- Due by April 28, 2023•27/27 issues closed
- Due by February 10, 2023•21/21 issues closed
- Due by September 2, 2022•18/18 issues closed
- Due by August 5, 2022•17/17 issues closed
- Due by December 15, 2022•13/13 issues closed
- Due by July 8, 2022•18/18 issues closed
- Due by May 31, 2022•8/8 issues closed
- Due by March 18, 2022•15/15 issues closed
- Due by February 28, 2022•15/15 issues closed
- Due by January 31, 2022•17/17 issues closed
- Due by December 31, 2021•20/20 issues closed
- Due by October 15, 2021•33/33 issues closed
- Due by August 31, 2021•9/9 issues closed
- Due by June 30, 2021
- Due by May 31, 2021•5/5 issues closed
- Due by April 2, 2021•4/4 issues closed
- Due by March 15, 2021•9/9 issues closed
Compatibility with MathComp 1.12.0
Due by December 31, 2020Last release compatible with MathComp 1.11.0.
Due by December 25, 2020•7/7 issues closed- Due by November 6, 2020•18/18 issues closed
- Due by July 30, 2020•16/16 issues closed
- Due by June 5, 2020•12/12 issues closed
- No due date•5/5 issues closed
Let's target a first release
Due by October 31, 2020•9/9 issues closed