[arch-dev-public] Moving a package from [community] to [extra]
aaronmgriffin at gmail.com
Fri Oct 16 18:18:36 EDT 2009
On Fri, Oct 16, 2009 at 5:15 PM, Daniel Isenmann <daniel.isenmann at gmx.de> wrote:
> On Sat, 17 Oct 2009 00:03:07 +0200
> Thomas Bächler <thomas at archlinux.org> wrote:
>> Daniel Isenmann schrieb:
>> > Alright, then I will do it manually. Have I the rights to delete a
>> > package in community? Never tested before.
>> You'll need an account on sigurd and must have the right groups,
> Thomas is right here, I can't delete it. Can someone please delete
> "monodevelop" from community? Thanks.
More information about the arch-dev-public