Update agda-releases