[PRQ#44799] Deletion Request for micromanager-git
17 Jul
2023
17 Jul
'23
1:08 p.m.
MarsSeed [1] filed a deletion request for micromanager-git [2]: Unused orphan Python2 + Java package from 2017. Not a VCS package: source is a pinned commit. But it seems no one adopted it for all these years, so I think it's safe to delete now. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/micromanager-git/
1 Oct
1 Oct
1:24 a.m.
New subject: [PRQ#44799] Deletion Request for micromanager-git Accepted
Request #44799 has been Accepted by grawlinson [1]: [Autogenerated] Accepted deletion for micromanager-git. [1] https://aur.archlinux.org/account/grawlinson/
410
Age (days ago)
485
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org