brunonova [1] filed a deletion request for drmips-doc [2]:
The drmips-doc package existed because the documentation was written
in LaTeX, which means a lot of dependencies.
The docs were now converted to HTML and included in the drmips
package, so this package is not needed anymore.
[1] https://aur.archlinux.org/account/brunonova/
[2] https://aur.archlinux.org/pkgbase/drmips-doc/