Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits: f7975435 by Julien Puydt at 2024-01-24T11:15:08+01:00 New upstream version 2.2.0 - - - - - ac86e01b by Julien Puydt at 2024-01-24T11:15:13+01:00 Update upstream source from tag 'upstream/2.2.0' Update to upstream version '2.2.0' with Debian dir 390af90eaf25196725089f10d03a552b83088602 - - - - - 92658205 by Julien Puydt at 2024-01-24T11:17:54+01:00 Package new upstream 2.2.0 - - - - - e6833166 by Julien Puydt at 2024-01-25T06:34:39+01:00 Prepare for upload - - - - - 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 - debian/changelog - 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 The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/b8a815817282584f0cd4476d8345ac9d3b8f75df...e683316680e1667df24cf9fa9e7f2c524813c668 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/b8a815817282584f0cd4476d8345ac9d3b8f75df...e683316680e1667df24cf9fa9e7f2c524813c668 You're receiving this email because of your account on salsa.debian.org.
