fenuks [1] filed a deletion request for gnomint [2]: Project seems to be unmaintained. Last revision has been made 3 years ago, last release – 9 years ago. https://github.com/davefx/gnoMint
[1] https://aur.archlinux.org/account/fenuks/ [2] https://aur.archlinux.org/pkgbase/gnomint/
