Package maintainers need to provide pre-compiled binaries for different platforms and PHP versions. These pre-compiled binary files need to be saved in a certain location, currently GitHub seems to be ...