brunonova [1] filed a deletion request for drmips-nodoc [2]: Previously, "drmips" package included LaTeX documentation and this "drmips-nodoc" was the version without that documentation. Now, the documentation was moved from "drmips" to the new "drmips-doc" package, so "drmips-nodoc" is no longer necessary. These were done because LaTeX is a very large make dependency. [1] https://aur.archlinux.org/account/brunonova/ [2] https://aur.archlinux.org/pkgbase/drmips-nodoc/