Update request: mavproxy 1.8.70 → 1.8.71

[RamReso]

• Package name: mavproxy
• Latest released version: 1.8.71
• Current version on the unstable channel: 1.8.70
• Current version on the stable/release channel: 1.8.70
• [x] Checked the nixpkgs pull requests

Notify maintainers @Ben Wolsieffer

---

Note for maintainers: Please tag this issue in your PR.

---

Add a :+1: reaction to issues you find important.

[RamReso]

I tried to update the package by myself with setting version to 1.8.71, but then I get

trying https://pypi.io/packages/source/M/MAVProxy/MAVProxy-1.8.71.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100   122  100   122    0     0   2304      0 --:--:-- --:--:-- --:--:--  2346
100   277  100   277    0     0   1287      0 --:--:-- --:--:-- --:--:--  1287
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
curl: (22) The requested URL returned error: 404

Don't know what the problem is there... older versions work fine. Another way of doing it would be to grep the src from github with

  src = fetchurl {
    url = "https://github.com/ArduPilot/${pname}/archive/refs/tags/v${version}.tar.gz";
    hash = "sha256-7LMDKx1HhdU7KXTyIb8Wf7AkWL6EcXXJFE/qSWyHOAY=";
  };

but I don't thing this is the right way, therefore I opened this issue.