pcre2: ftp.pcre.org looks defunct

[baloo]

Motivation for this change

According to pcre.org github is now the official mirror for releases.

cc @ttuegel

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, as applicable:
  • NixOS test(s) (look inside nixos/tests)
  • and/or package tests
  • or, for functions and "core" functionality, tests in lib/tests or pkgs/test
  • made sure NixOS tests are linked to the relevant packages
• Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
• Tested basic functionality 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.

[Mindavi]

Hash is still ok?

[samueldr]

Hash is still ok?

It's possible. It's not generated code, but uploaded assets:

• https://github.com/PhilipHazel/pcre2/releases/tag/pcre2-10.37

Though a simple TOFU check by breaking the hash can help verify.

[SuperSandro2000]

Linked on https://www.pcre.org/

[SuperSandro2000]

Hash is still ok?

It's possible. It's not generated code, but uploaded assets:

* [PhilipHazel/pcre2@`pcre2-10.37` (release)](https://github.com/PhilipHazel/pcre2/releases/tag/pcre2-10.37)

Though a simple TOFU check by breaking the hash can help verify.

Verified locally and it is the same hash.

Waiting for ofborg and then merging.

[baloo]

Hash is still ok?

$ nix-build . -A pcre2.src --check
checking outputs of '/nix/store/12lw9q06n2j6h5x8hsamdsh3yjk2i6g9-pcre2-10.37.tar.bz2.drv'...

trying https://github.com/PhilipHazel/pcre2/releases/download/pcre2-10.37/pcre2-10.37.tar.bz2
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
100   658  100   658    0     0   2043      0 --:--:-- --:--:-- --:--:--  2043
100 1688k  100 1688k    0     0   779k      0  0:00:02  0:00:02 --:--:-- 1745k
/nix/store/an15rwsimzw7ncwkxxn22ahkjh73npjk-pcre2-10.37.tar.bz2

as far as I can tell, yes.