[Bug 892566] ghc-Agda-2.3.2.1 is available