[aur-requests] [PRQ#33957] Orphan Request for idris-git

notify at aur.archlinux.org notify at aur.archlinux.org
Sun Apr 10 21:16:45 UTC 2022


MarsSeed [1] filed an orphan request for idris-git [2]:

Not maintained - flagged for fix service request since 2017-02-27.

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/idris-git/


More information about the aur-requests mailing list