4 Sep
                
                    2014
                
            
            
                4 Sep
                
                '14
                
            
            
            
        
    
                9:56 p.m.
            
        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/