caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ working

Ulf Norell f151b617ef [ build ] use proper path to agda mode		6 lat temu
..
paths.mk	f151b617ef [ build ] use proper path to agda mode	6 lat temu
versions.mk	419c59d657 Merge remote-tracking branch 'origin/stable-2.5'	8 lat temu