Inicio Explorar Ayuda
Iniciar sesión
caryoscelus
/
agda
Seguir 1
Destacar 0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Árbol: 4a213434e2
Ramas Etiquetas
agda
/
mk
Ulf Norell f151b617ef [ build ] use proper path to agda mode hace 6 años
..
paths.mk f151b617ef [ build ] use proper path to agda mode hace 6 años
versions.mk 419c59d657 Merge remote-tracking branch 'origin/stable-2.5' hace 8 años