[ release instructions ] Agda version
It is necessary to change the Agda version thrice in Agda.cabal.