4 Apr
2023
4 Apr
'23
3: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/