We support a number of open source projects that help with ticketscale.
This contains the scripts we use to package RAMCloud into a deb.
This is a apt repo containing the packaged up debs that we open source.
To install add new repository to /etc/apt/sources.list:
deb [arch=amd64] http://public-debs.ticketscale.io/ticketscale-public/ trusty main
And import key that is used to sign the release:
wget -O - https://www.ticketscale.io/ticketscale.gpg.key|apt-key add -