Product: Fedora
https://bugzilla.redhat.com/show_bug.cgi?id=892587
--- Comment #7 from Jens Petersen <petersen(a)redhat.com> ---
Agda-2.3.3 will allow 1.2
--
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug
https://bugzilla.redhat.com/token.cgi?t=12JM4VixiW&a=cc_unsubscribe