[ oops ] forgot to add Agda.Utils.Empty to cabal file
Merge remote-tracking branch 'origin/maint-2.4.2'