[arch-haskell] AUR Out-of-date Notification for agda-executable

[AUR Feedback]

Your package agda-executable has been flagged out of date by plmday
[1]. You may view your package at:
http://aur.archlinux.org/packages.php?ID=26144

[1] - http://aur.archlinux.org/account.php?Action=AccountInfo&ID=13340