allow alex 3.1 for yi
allow alex 3.1 for Agda 2.3.2.1-r1
Add bytes
Add hashable-extras
Add prelude-extras
Add bound