[Git][ocaml-team/ssreflect][master] 6 commits: Bump standards-version to 4.6.2

["Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>]

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect

Commits:

• 48ee0900
  by Julien Puydt at 2023-06-11T10:48:28+02:00

  Bump standards-version to 4.6.2
  

• 7ac5a59c
  by Julien Puydt at 2023-06-11T10:51:20+02:00

  New upstream version 1.17.0

• 7d07d976
  by Julien Puydt at 2023-06-11T10:51:24+02:00

  Update upstream source from tag 'upstream/1.17.0'
  
  Update to upstream version '1.17.0'
  with Debian dir f6268f836b77495b9181b7bc29c908b6bb55fb25

• 685ded1c
  by Julien Puydt at 2023-06-11T10:51:43+02:00

  Package new upstream 1.17.0
  

• cd11e267
  by Julien Puydt at 2023-06-11T12:14:23+02:00

  Update lintian overrides
  

• f7e009f9
  by Julien Puydt at 2023-06-13T22:14:09+02:00

  Prepare for upload
  

27 changed files:

• .nix/config.nix
• .nix/coq-nix-toolbox.nix
• .nix/coq-overlays/extructures/default.nix
• CHANGELOG.md
• CHANGELOG_UNRELEASED.md
• CONTRIBUTING.md
• + README-CI-Nix.md
• coq-mathcomp-ssreflect.opam
• debian/changelog
• debian/control
• debian/libcoq-mathcomp.lintian-overrides
• mathcomp/Make
• mathcomp/_CoqProject
• mathcomp/algebra/Make
• mathcomp/algebra/finalg.v
• 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
• mathcomp/algebra/rat.v
• mathcomp/algebra/ssralg.v
• mathcomp/algebra/ssrint.v

The diff was not included because it is too large.

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help