[PRQ#66803] Deletion Request for idris-sdl-git
29 Nov
2024
29 Nov
'24
2:36 p.m.
MarsSeed [1] filed a deletion request for idris-sdl-git [2]: Dead package from 2015; upstream is EOL since 2017. [a] [a]: https://github.com/edwinb/SDL-idris [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/idris-sdl-git/
19 Dec
19 Dec
10:12 p.m.
New subject: [PRQ#66803] Deletion Request for idris-sdl-git Accepted
Request #66803 has been Accepted by Muflone [1]: [Autogenerated] Accepted deletion for idris-sdl-git. [1] https://aur.archlinux.org/account/Muflone/
40
Age (days ago)
60
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org