coqPackages.mathcomp-analysis: 0.3.9 -> 0.3.10

[siraben]

Motivation for this change

Things done

• Built on platform(s)
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• For non-Linux: Is sandbox = true set in nix.conf? (See Nix manual)
• Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
• Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• 21.11 Release Notes (or backporting 21.05 Release notes)
  • (Package updates) Added a release notes entry if the change is major or breaking
  • (Module updates) Added a release notes entry if the change is significant
  • (Module addition) Added a release notes entry if adding a new NixOS module
• Fits CONTRIBUTING.md.

[siraben]

Result of nixpkgs-review pr 136938 run on x86_64-darwin 1

1 package built:

• coqPackages.mathcomp-analysis

[AndersonTorres]

If the old version is not deleted, the commit message's "title" should be coqPackages.mathcomp-analysis: init at 0.3.10, with some explanation such as "including the new version along the older one".

[siraben]

According to git log, the convention for coqPackages is what I have in the PR. It is understood that for this package set, old versions are not discarded.