Ralf Treinen pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits: cef794f5 by Ralf Treinen at 2021-01-02T13:38:00+01:00 New upstream version 1.12.0 - - - - - 6c2737bc by Ralf Treinen at 2021-01-02T13:39:38+01:00 Update upstream source from tag 'upstream/1.12.0' Update to upstream version '1.12.0' with Debian dir 4427cb0bf6257e111e9dea4319695f1c6d2b0496 - - - - - be4be4a6 by Ralf Treinen at 2021-01-02T15:28:05+01:00 update test - - - - - 519871a3 by Ralf Treinen at 2021-01-02T15:40:23+01:00 standards-version 4.5.1 - - - - - 23 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 - debian/changelog - debian/control - debian/tests/loadssreflect.v - 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/-/compare/586158ab82a226f44a66f99fa110199e8de43dce...519871a3944610b098dfe179b451d9f80c3a1486 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/586158ab82a226f44a66f99fa110199e8de43dce...519871a3944610b098dfe179b451d9f80c3a1486 You're receiving this email because of your account on salsa.debian.org.
