[PRQ#67467] Deletion Request for measurement-kit-git

a821 [1] filed a deletion request for measurement-kit-git [2]: This Package has been broken since March 2022 due to the git:// protocol deprecation. Not worth fixing it because a) upstream is archived (since March 2021) and b) it fails to build (gcc complains about a missing <cstdint> header). No votes, no comments and no evidence someone is using this. The only reverse dependency is also broken (ooni-probe-cli-git), but it actually does not depend on this package. I'll request deletion for that package also. [1] https://aur.archlinux.org/account/a821/ [2] https://aur.archlinux.org/pkgbase/measurement-kit-git/