Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits: f7975435 by Julien Puydt at 2024-01-24T11:15:08+01:00 New upstream version 2.2.0 - - - - - 30 changed files: - .nix/config.nix - .nix/coq-nix-toolbox.nix - CHANGELOG.md - CHANGELOG_UNRELEASED.md - CONTRIBUTING.md - coq-mathcomp-algebra.opam - coq-mathcomp-character.opam - coq-mathcomp-field.opam - coq-mathcomp-fingroup.opam - coq-mathcomp-solvable.opam - coq-mathcomp-ssreflect.opam - mathcomp/Make - mathcomp/_CoqProject - mathcomp/algebra/Make - mathcomp/algebra/finalg.v - mathcomp/algebra/fraction.v - mathcomp/algebra/matrix.v - mathcomp/algebra/poly.v - mathcomp/algebra/qpoly.v - mathcomp/algebra/ring_quotient.v - mathcomp/algebra/ssralg.v - mathcomp/algebra/ssrint.v - mathcomp/algebra/ssrnum.v - mathcomp/algebra/vector.v - mathcomp/character/Make - mathcomp/character/classfun.v - mathcomp/character/mxabelem.v - mathcomp/field/Make - mathcomp/field/algC.v - mathcomp/field/falgebra.v The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/commit/f79754356681910e34f42611715b032333ac568f -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/commit/f79754356681910e34f42611715b032333ac568f You're receiving this email because of your account on salsa.debian.org.
