Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / ssreflect
Commits: cef794f5 by Ralf Treinen at 2021-01-02T13:38:00+01:00 New upstream version 1.12.0 - - - - - 20 changed files: - CHANGELOG.md - CONTRIBUTING.md - INSTALL.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 - default.nix - etc/utils/hierarchy.ml - mathcomp/Make - mathcomp/Make.test-suite - mathcomp/Makefile.common - + mathcomp/Makefile.test-suite.coq.local - mathcomp/_CoqProject - mathcomp/algebra/Make - mathcomp/algebra/countalg.v - mathcomp/algebra/finalg.v - mathcomp/algebra/intdiv.v The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/commit/cef794f5bc16dae3176261ddd2e8ecec64e8e105 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/commit/cef794f5bc16dae3176261ddd2e8ecec64e8e105 You're receiving this email because of your account on salsa.debian.org.
