[Agda] agda-executable depricated

[Peter Divianszky]

Hi,

As I know the agda-executable on HackageDB is depricated for Agda 2.3.2.

One could upload an agda-executable-2.3.2 which sais "This package is 
depricated".

This would give helpful information for Agda package maintainers for 
different OSes (I have got the tip from the FreeBSD guy).

Thanks,

Peter