[Bug 1224825] Agda-2.5.1.1 is available