[pramantha]
location = /var/overlays/pramantha
sync-type = git
clone-depth = 0
sync-uri = https://git.vehk.de/pramantha.git