[arch-haskell] AUR Comment for agda-executable

AUR Feedback simons at cryp.to
Sat Oct 12 07:38:56 UTC 2013

from http://aur.archlinux.org/packages.php?ID=26144
magus wrote:

See https://github.com/archhaskell/habs/issues/46 why this isn't
updated yet.

If you no longer wish to receive notifications about this package,
please go the the above package page and click the UnNotify button.

More information about the arch-haskell mailing list