[PRQ#48916] Deletion Request for shark-ml-git
14 Oct
2023
14 Oct
'23
12:45 a.m.
MarsSeed [1] filed a deletion request for shark-ml-git [2]: Broken, unused, discontinued library from 2019. [a] [a]: https://github.com/Shark-ML/Shark/ [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/shark-ml-git/
28 Jan
28 Jan
10:54 p.m.
New subject: [PRQ#48916] Deletion Request for shark-ml-git Rejected
Request #48916 has been Rejected by MarsSeed [1]: Deferring due to low priority, and to ease the burden on PM's. [1] https://aur.archlinux.org/account/MarsSeed/
290
Age (days ago)
397
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org