Right now repo contains only source in git and it is not clear how to get a stable version. Please consider publishing packetdrill archives as github releases. See https://help.github.com/en/github/administering-a-repository/creating-releases