Ah! Yes I intend to rename it. I just thought you had to delete the old one and create a new one with the new name. In this case its name would be rosa-media-player-develop-git.
2013/3/9 Federico Cinelli <[email protected]> > On Sat, 9 Mar 2013 01:46:11 +0000, Vítor Miguel Miranda Ferreira > <[email protected]> wrote: > > Greetings! > > I hereby request that the rosa-media-player-git [1] package be deleted, > > since I intend to replace it by a similar package derived from the > develop > > branch of the rosa-media-player upstream git repo. This one seems to > > contain a true bleeding edge version of this application, while the > master > > branch (the one reflected in [1]) only contains a minor changes compared > to > > the latest stable version. > > > > Signed, Dominor. > > > > [1] https://aur.archlinux.org/packages/rosa-media-player-git/ > > Once you've built the new package just up update this one. Or if you plan > on > renaming it, let me know. > > -- > Federico Cinelli <[email protected]> > Arch Linux Trusted User (cinelli) > GnuPG Key: 0xC6C11350 > "Stay true." >
