swyter [1] filed a request to merge jflap-beta [2] into jflap [3]: I originally started `jflap-beta` as a way of tasting the latest version of JFLAP, but that was until I learned that the newish (8.0) version is basically a beta-quality rewrite lacking many features of the previous (7.0) release, so I decided to make a decent package with the most complete version. Nowadays `jflap-beta` is just a better `jflap` with people's requests included, GTK look-and-feel and a matching self-made SVG icon traced from the official logo. To avoid confusions a merge into a single `jflap` package would be the best thing, I believe. [1] https://aur.archlinux.org/account/swyter/ [2] https://aur.archlinux.org/pkgbase/jflap-beta/ [3] https://aur.archlinux.org/pkgbase/jflap/