[Bug 1224825] Agda-2.4.2.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=1224825 --- Comment #3 from Jens Petersen <petersen(a)redhat.com&gt; --- Configuring Agda-2.4.2.3... Setup: At least the following dependencies are missing: QuickCheck ==2.8.*, edit-distance >=0.2.1.2 && <0.3, geniplate-mirror >=0.6.0.6 && <0.7, transformers-compat >=0.3.3.2 && <0.5 -- 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=97mIu8r6pl&a=cc_unsubscribe