There is a new pull request by tornaria against master on the void-packages repository

https://github.com/tornaria/void-packages tiptop
https://github.com/void-linux/void-packages/pull/36696

tiptop: fix homepage and distfiles
This is the last missing distfile due to the `gforge.inria.fr`  shutdown.

No changes, no revbump.

@leahneukirchen 

A patch file from https://github.com/void-linux/void-packages/pull/36696.patch is attached