[PRQ#40851] Deletion Request for quint
4 Apr
2023
4 Apr
'23
1: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/
5 Apr
5 Apr
7:50 p.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/
597
Age (days ago)
598
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org