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/
