[Bug 1224825] Agda-2.5.1.2 is available