[Bug 1224825] Agda-2.4.2.4 is available