Version: 5
Template: gitlab
Dist: https://gitlab.mpi-sws.org/iris/stdpp
