This repository is pushed to automatically by GitHub actions in other repos.
It can be added to your package manager as https://<user>.github.io/repo/<arch>/