There's a merged pull request on the void-packages repository

tiptop: fix homepage and distfiles
https://github.com/void-linux/void-packages/pull/36696

Description:
This is the last missing distfile due to the `gforge.inria.fr`  shutdown.

No changes, no revbump.

@leahneukirchen