caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ 9c190b6ebc223c54da4defa075c673faae7fab56

Andreas Abel 7028350ce1 Fix #5773: doc: link to ICU installation instructions		2 gadi atpakaļ
..
HCAR	c6423f0872 correct my name	5 gadi atpakaļ
license-report	4cb5321075 [ doc ] Fix a cabal option mistake for license-report	3 gadi atpakaļ
release-notes	d8b06a90ee Released 2.6.2.1: move released CHANGES to doc/release-notes/2.6.2.1.md	3 gadi atpakaļ
user-manual	7028350ce1 Fix #5773: doc: link to ICU installation instructions	2 gadi atpakaļ