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

AUR Feedback simons at cryp.to
Sun Feb 20 22:55:22 CET 2011


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




More information about the arch-haskell mailing list