There is a new pull request by ericonr against master on the void-packages repository https://github.com/ericonr/void-packages w-m https://github.com/void-linux/void-packages/pull/31385 widelands-maps: remove package. voidlinux.de has been shut down, so the distfile is no longer accessible, and I couldn't find how the tarball was even assembled in the first place. Doesn't have to be added to removed-packages since it doesn't ship any executables. #### General - [ ] This is a new package and it conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements) #### Have the results of the proposed changes been tested? - [ ] I use the packages affected by the proposed changes on a regular basis and confirm this PR works for me - [ ] I generally don't use the affected packages but briefly tested this PR A patch file from https://github.com/void-linux/void-packages/pull/31385.patch is attached