MarsSeed [1] filed an orphan request for vim-idris-git [2]: Source URL defunct since 2022. Package flagged for this issue since 2023-10-28.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/vim-idris-git/
MarsSeed [1] filed an orphan request for vim-idris-git [2]: Source URL defunct since 2022. Package flagged for this issue since 2023-10-28.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/vim-idris-git/