[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