tag:github.com,2008:https://github.com/math-comp/finmap/releases 2025-04-25T07:58:36Z tag:github.com,2008:Repository/35559890/2.2.1 2025-04-29T12:47:23Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/finmap/pull/128">#128</a> from hoheinzollern/rocq_build</p> <p>Rocq build</p> proux01 tag:github.com,2008:Repository/35559890/2.2.0 2025-04-16T14:17:02Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/finmap/pull/124">#124</a> from math-comp/finmap-mathcomp-240</p> <p>Update opam dependencies</p> proux01 tag:github.com,2008:Repository/35559890/2.1.0 2024-01-17T14:11:55Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/finmap/pull/111">#111</a> from proux01/coq819</p> <p>[CI] Add Coq 8.19</p> thery tag:github.com,2008:Repository/35559890/2.0.0 2023-05-23T14:12:49Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/finmap/pull/84">#84</a> from affeldt-aist/hierarchy-builder</p> <p>tentative port of `finmap.v` to HB</p> CohenCyril tag:github.com,2008:Repository/35559890/1.5.2 2022-07-05T21:12:34Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/finmap/pull/99">#99</a> from affeldt-aist/upd_ci_20220705</p> <p>add mathcomp 1.16 to CI</p> affeldt-aist tag:github.com,2008:Repository/35559890/1.5.1 2020-12-03T13:40:01Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/finmap/pull/79">#79</a> from math-comp/prep_release_1.5.1</p> <p>Preparing next release</p> CohenCyril tag:github.com,2008:Repository/35559890/1.5.0 2020-04-20T17:07:21Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/finmap/pull/67">#67</a> from affeldt-aist/update_wrt_mathcomp_1.11</p> <p>Update w.r.t. MathComp 1.11.0+beta1</p> CohenCyril tag:github.com,2008:Repository/35559890/1.4.1 2020-04-06T16:08:37Z <p>compatibility with mathcomp-dev and lost with mathcomp &lt; 1.9.0 (<a class="issue-link js-issue-link" href="https://github.com/math-comp/finmap/pull/64">#64</a>)</p> <p>- compatibility with mathcomp-dev and lost with mathcomp &lt; 1.9.0 <br />+ updating opam dependencies <br />+ adding travis jobs</p> CohenCyril tag:github.com,2008:Repository/35559890/1.4.0+coq-8.11 2020-03-13T11:57:57Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/finmap/pull/63">#63</a> from pi8027/fix-notations</p> <p>Add `Reserved Notation`s in finmap.v</p> CohenCyril tag:github.com,2008:Repository/35559890/1.4.0 2019-11-27T16:15:04Z CohenCyril