[PRQ#40851] Deletion Request for quint
4 Apr
2023
4 Apr
'23
9:42 p.m.
rnbguy [1] filed a deletion request for quint [2]: I want to take the handle for this package https://github.com/informalsystems/quint. The current package is outdated and misses dependencies. [1] https://aur.archlinux.org/account/rnbguy/ [2] https://aur.archlinux.org/pkgbase/quint/
6 Apr
6 Apr
3:50 a.m.
New subject: [PRQ#40851] Deletion Request for quint Rejected
Request #40851 has been Rejected by rnbguy [1]: I became maintainer of the package. Thanks. [1] https://aur.archlinux.org/account/rnbguy/
589
Age (days ago)
590
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org