[PRQ#44799] Deletion Request for micromanager-git
17 Jul
2023
17 Jul
'23
11:08 a.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/
30 Sep
30 Sep
11:24 p.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/
468
Age (days ago)
543
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org