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

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

Previous message: [arch-haskell] AUR Out-of-date Notification for agda-executable
Next message: [arch-haskell] AUR Out-of-date Notification for haskell-agda
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [arch-haskell] AUR Out-of-date Notification for agda-executable
Next message: [arch-haskell] AUR Out-of-date Notification for haskell-agda
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the arch-haskell mailing list