New comment by problame on void-packages repository

https://github.com/void-linux/void-packages/pull/13301#issuecomment-515915117
Comment:
@Tankernn would you mind updating https://zrepl.github.io/installation.html#packages and create a PR once it's merged?