[ Cabal ] Fixed version field
Merge branch 'maint-2.4.0'

Conflicts:
	Agda.cabal