id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,blockedby,blocking,platform 12447,[pkgman] inform if a package is already installed,diver,nobody,"Currently, trying to install a package which is already installed pkgman prints {{{Nothing to do.}}} which is not very informative. It would be nice if it explicitly say that it is installed along with the full path and a repo name",enhancement,closed,normal,Unscheduled,Applications/Command Line Tools,R1/Development,fixed,,,,,All