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 _______________________________________________ arch-haskell mailing list [email protected] http://www.haskell.org/mailman/listinfo/arch-haskell
