[arch-haskell] AUR Comment for agda-executable

AUR Feedback simons at cryp.to
Mon Feb 21 08:46:00 CET 2011

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