28 Dec
2014
28 Dec
'14
5:42 p.m.
zoidberg_md [1] filed a orphan request for agda [2]: abandoned long ago [1] https://aur.archlinux.org/account/zoidberg_md/ [2] https://aur.archlinux.org/pkgbase/agda/