tag:github.com,2008:https://github.com/math-comp/math-comp/releases 2025-10-13T14:33:39Z tag:github.com,2008:Repository/32018344/mathcomp-2.5.0 2025-10-13T18:54:55Z proux01 tag:github.com,2008:Repository/32018344/mathcomp-2.4.0 2025-04-14T16:00:21Z hoheinzollern tag:github.com,2008:Repository/32018344/mathcomp-2.3.0 2024-11-28T15:22:35Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/math-comp/pull/1304">#1304</a> from CohenCyril/mailmap-additions</p> <p>adding mailmap entries</p> CohenCyril tag:github.com,2008:Repository/32018344/mathcomp-2.2.0 2024-01-17T09:22:51Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/math-comp/pull/1159">#1159</a> from math-comp/changelog_220</p> <p>Changelog for 2.2.0</p> proux01 tag:github.com,2008:Repository/32018344/mathcomp-1.19.0 2024-01-15T13:31:30Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/math-comp/pull/1156">#1156</a> from math-comp/mc119_changelog</p> <p>Mc 1.19.0 changelog</p> proux01 tag:github.com,2008:Repository/32018344/mathcomp-1.18.0 2023-11-01T08:52:28Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/math-comp/pull/1112">#1112</a> from affeldt-aist/changelog118</p> <p>changelog for MathComp 1.18.0</p> affeldt-aist tag:github.com,2008:Repository/32018344/mathcomp-2.1.0 2023-10-24T11:30:48Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/math-comp/pull/1102">#1102</a> from affeldt-aist/fixes_1011</p> <p><span class="issue-keyword tooltipped tooltipped-se">fixes</span> <a class="issue-link js-issue-link" href="https://github.com/math-comp/math-comp/issues/1011">#1011</a> (remove 1.15 deprecations)</p> affeldt-aist tag:github.com,2008:Repository/32018344/mathcomp-2.0.0 2023-05-14T18:31:47Z affeldt-aist tag:github.com,2008:Repository/32018344/mathcomp-1.17.0 2023-05-09T14:21:56Z affeldt-aist tag:github.com,2008:Repository/32018344/mathcomp-1.16.0 2023-02-01T16:09:46Z affeldt-aist