Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Ramo (Branch): working
Rami (Branch) Tag
agda
/
mk
Ulf Norell f151b617ef [ build ] use proper path to agda mode 6 anni fa
..
paths.mk f151b617ef [ build ] use proper path to agda mode 6 anni fa
versions.mk 419c59d657 Merge remote-tracking branch 'origin/stable-2.5' 8 anni fa