Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Ramo (Branch): js_amd
Rami (Branch) Tag
agda
/
doc
Andreas Abel 7028350ce1 Fix #5773: doc: link to ICU installation instructions 2 anni fa
..
HCAR c6423f0872 correct my name 5 anni fa
license-report 4cb5321075 [ doc ] Fix a cabal option mistake for license-report 3 anni fa
release-notes d8b06a90ee Released 2.6.2.1: move released CHANGES to doc/release-notes/2.6.2.1.md 3 anni fa
user-manual 7028350ce1 Fix #5773: doc: link to ICU installation instructions 2 anni fa