This bug seems to be fixed. But unfortunately, gnome-app-install 0.3.8 cannot be even started on my machine, see bug #81727 :-(
-- Check if a package exists in the cache before installing it https://launchpad.net/bugs/81364 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs