What happened to MakeMKV?


So I just installed 18.04.1 and there is a few additions to the software boutique, most of which I am happy to see, but MakeMKV is no longer listed…did it get dropped?


Please see my comment in another thread - Future of MKVMake in 18.04 or dev for next ver?