Package: mini-dinstall