Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits: f7e3d5c0 by Julien Puydt at 2022-07-05T08:22:08+02:00 New upstream version 1.15.0 - - - - - 4095c7c0 by Julien Puydt at 2022-07-05T08:22:12+02:00 Update upstream source from tag 'upstream/1.15.0' Update to upstream version '1.15.0' with Debian dir 26c0559358786eaebcd8be56ff55b27f9ef2a659 - - - - - 0c5639fc by Julien Puydt at 2022-07-05T08:22:37+02:00 Package new upstream 1.15.0 - - - - - 1f64a160 by Julien Puydt at 2022-07-05T08:26:39+02:00 Rewrite the autopkgtest - - - - - e2d14b77 by Julien Puydt at 2022-07-05T08:55:49+02:00 Prepare for upload - - - - - 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 - debian/changelog - debian/tests/control - − debian/tests/loadssreflect - − debian/tests/loadssreflect.v - 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 The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/3b2906399eeb3c4892a8041273288d35db1ae397...e2d14b775df1e7d6e2ef56da93202aabdc23c477 -- View it on GitLab: https://salsa.debian.org/ocaml-team/ssreflect/-/compare/3b2906399eeb3c4892a8041273288d35db1ae397...e2d14b775df1e7d6e2ef56da93202aabdc23c477 You're receiving this email because of your account on salsa.debian.org.
