Accueil Explorer Aide
Connexion
caryoscelus
/
agda
Suivre 1
Voter 0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Aborescence: 4a213434e2
Branches Tags
agda
/
mk
Ulf Norell f151b617ef [ build ] use proper path to agda mode il y a 6 ans
..
paths.mk f151b617ef [ build ] use proper path to agda mode il y a 6 ans
versions.mk 419c59d657 Merge remote-tracking branch 'origin/stable-2.5' il y a 8 ans