[Bug 1224825] Agda-2.4.2.5 is available