[aur-general] Please delete idris-neweffects-git

Evgeniy Alekseev darkarcanis at mail.ru
Tue Jun 24 01:06:18 EDT 2014

On Monday 23 June 2014 21:32:00 Leif Warner wrote:
> https://aur.archlinux.org/packages/idris-neweffects-git/
> It was a separate library for the Idris language, but has since been merged
> into the language distribution proper:
> https://github.com/idris-lang/Idris-dev/tree/master/libs/effects
> This version is obsolete.

Done, thank you.
С уважением, Е.Алексеев.
Sincerely yours, E.Alekseev.

e-mail: darkarcanis at mail.ru
ICQ: 407-398-235
Jabber: arcanis at jabber.ru
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part.
URL: <http://mailman.archlinux.org/pipermail/aur-general/attachments/20140624/b52fb00c/attachment.asc>

More information about the aur-general mailing list