Startseite Erkunden Hilfe
Anmelden
caryoscelus
/
agda
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Struktur: 9c190b6ebc
Branches Tags
agda
/
doc
Andreas Abel 7028350ce1 Fix #5773: doc: link to ICU installation instructions vor 2 Jahren
..
HCAR c6423f0872 correct my name vor 5 Jahren
license-report 4cb5321075 [ doc ] Fix a cabal option mistake for license-report vor 3 Jahren
release-notes d8b06a90ee Released 2.6.2.1: move released CHANGES to doc/release-notes/2.6.2.1.md vor 3 Jahren
user-manual 7028350ce1 Fix #5773: doc: link to ICU installation instructions vor 2 Jahren