[aur-general] Please delete idris-neweffects-git
24 Jun
2014
24 Jun
'14
4:32 a.m.
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. Thanks, -Leif
24 Jun
24 Jun
5:06 a.m.
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@mail.ru ICQ: 407-398-235 Jabber: arcanis@jabber.ru
3834
Age (days ago)
3834
Last active (days ago)
1 comments
2 participants
participants (2)
-
Evgeniy Alekseev
-
Leif Warner