tag:github.com,2008:https://github.com/math-comp/mczify/releases 2023-07-11T13:37:42Z tag:github.com,2008:Repository/209997501/1.5.0+2.0+8.16 2023-07-12T09:48:15Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/mczify/pull/48">#48</a> from math-comp/N_to_nat</p> <p>Add morphism instances for N.to_nat and N.of_nat</p> pi8027 tag:github.com,2008:Repository/209997501/1.4.0+2.0+8.16 2023-05-23T14:18:07Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/mczify/pull/39">#39</a> from proux01/hierarchy-builder</p> <p>Port to Hierarchy Builder</p> pi8027 tag:github.com,2008:Repository/209997501/1.3.0+1.12+8.13 2023-02-13T13:58:41Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/mczify/pull/43">#43</a> from math-comp/ci</p> <p>Update CI</p> pi8027 tag:github.com,2008:Repository/209997501/1.2.0+1.12+8.13 2021-12-28T09:14:11Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/mczify/pull/34">#34</a> from math-comp/more-test-cases</p> <p>Add more instances and test cases</p> pi8027 tag:github.com,2008:Repository/209997501/1.1.0+1.12+8.13 2021-09-30T07:18:17Z <p>Merge pull request <a class="issue-link js-issue-link" href="https://github.com/math-comp/mczify/pull/27">#27</a> from math-comp/unitz</p> <p>Add support for `GRing.unit`</p> pi8027 tag:github.com,2008:Repository/209997501/1.0.0+1.12+8.13 2021-09-30T07:19:17Z pi8027