There is a new pull request by daniel-eys against master on the void-packages repository https://github.com/daniel-eys/void-packages tectonic https://github.com/void-linux/void-packages/pull/31929 tectonic: update to 0.7.1, claim maintainership. Maintainer seems to to be inactive, at least the latest contribution looks like to be from 2018. So I think I can take over maintainership. #### 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? - [x] 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/31929.patch is attached