Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits: f7e3d5c0 by Julien Puydt at 2022-07-05T08:22:08+02:00 New upstream version 1.15.0 - - - - - 30 changed files: - .dockerignore - .nix/config.nix - .nix/coq-nix-toolbox.nix - CHANGELOG.md - CHANGELOG_UNRELEASED.md - CONTRIBUTING.md - Dockerfile - Dockerfile.make - _CoqProject - coq-mathcomp-algebra.opam - coq-mathcomp-character.opam - coq-mathcomp-field.opam - coq-mathcomp-fingroup.opam - coq-mathcomp-solvable.opam - coq-mathcomp-ssreflect.opam - etc/utils/builddoc_lib.sh - mathcomp/Make - mathcomp/Make.test-suite - mathcomp/Makefile.test-suite.coq.local - mathcomp/_CoqProject - mathcomp/algebra/Make - mathcomp/algebra/fraction.v - mathcomp/algebra/intdiv.v - mathcomp/algebra/interval.v - mathcomp/algebra/matrix.v - mathcomp/algebra/mxalgebra.v - mathcomp/algebra/mxpoly.v - mathcomp/algebra/poly.v - mathcomp/algebra/polyXY.v - mathcomp/algebra/polydiv.v The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/commit/f7e3d5c0e14d9f711115953c6672e2f89136434c -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/commit/f7e3d5c0e14d9f711115953c6672e2f89136434c You're receiving this email because of your account on salsa.debian.org.
