Merge pull request #175535 from piegamesde/wormhole

This commit is contained in:
Martin Weinelt 2022-05-31 21:46:03 +02:00 committed by GitHub
commit 704dd7ee36
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1427,6 +1427,7 @@ mapAliases ({
winpdb = throw "winpdb has been removed: abandoned by upstream"; # Added 2022-04-22
winusb = throw "'winusb' has been renamed to/replaced by 'woeusb'"; # Converted to throw 2022-02-22
wireguard = throw "'wireguard' has been renamed to/replaced by 'wireguard-tools'"; # Converted to throw 2022-02-22
wormhole-rs = magic-wormhole-rs; # Added 2022-05-30. preserve, reason: Arch package name, main binary name
wmii_hg = wmii;
wxmupen64plus = throw "wxmupen64plus was removed because the upstream disappeared"; # Added 2022-01-31