This is the template repository for binary dependencies for Viper IDE. Created for automating the ViperTools package creation via Jenkins. Related: https://github.com/viperproject/viper-ide - View it on GitHub