[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: Move gtkglext from gnome to gtk.
From: |
Leo Famulari |
Subject: |
Re: [PATCH] gnu: Move gtkglext from gnome to gtk. |
Date: |
Tue, 16 Aug 2016 16:14:07 -0400 |
User-agent: |
Mutt/1.6.0 (2016-04-01) |
On Tue, Aug 16, 2016 at 10:09:16PM +0200, Danny Milosavljevic wrote:
> Hi Leo,
>
> On Tue, 16 Aug 2016 16:03:03 -0400
> Leo Famulari <address@hidden> wrote:
>
> > On Tue, Aug 16, 2016 at 08:01:04PM +0200, Danny Milosavljevic wrote:
> > > gnu: Move gtkglext from gnome to gtk.
> > >
> > > * gnu/packages/gnome.scm (gtkglext): Moved from here...
> > > * gnu/packages/gtk.scm (gtkglext): ... to here
> >
> > Why? I see that the package relates to GTK+, but it's also GNOME
> > software.
>
> Is it? Well its name and its dependencies say it should be gtk :)
>
> > And, moving packages around like this does cause problems, because all
> > the referring packages have to update their module imports. Not to
> > mention the possibility of more conflicts when merging core-updates and
> > other updates branches.
>
> I know what you mean and I usually don't move stuff around. This one
> is very well-mannered since we have only 3 clients for it (two in
> games.scm and one in engineering.scm - both modules already include
> gtk as well).
Okay. Do the games and engineering modules still need to import the
gnome module if we make this move?
- [PATCH] gnu: Move gtkglext from gnome to gtk., Danny Milosavljevic, 2016/08/16
- Re: [PATCH] gnu: Move gtkglext from gnome to gtk., Leo Famulari, 2016/08/16
- Re: [PATCH] gnu: Move gtkglext from gnome to gtk., Danny Milosavljevic, 2016/08/16
- Re: [PATCH] gnu: Move gtkglext from gnome to gtk.,
Leo Famulari <=
- Re: [PATCH] gnu: Move gtkglext from gnome to gtk., Danny Milosavljevic, 2016/08/16
- Re: [PATCH] gnu: Move gtkglext from gnome to gtk., Danny Milosavljevic, 2016/08/16
- [PATCH] gnu: move freedesktop stuff to "freedesktop.scm", gtk stuff to "gtk.scm", gnome stuff to "gnome.scm", Danny Milosavljevic, 2016/08/16
- Re: [PATCH] gnu: Move gtkglext from gnome to gtk., Leo Famulari, 2016/08/16
- Re: [PATCH] gnu: Move gtkglext from gnome to gtk., Leo Famulari, 2016/08/16
- Re: [PATCH] gnu: Move gtkglext from gnome to gtk., Ricardo Wurmus, 2016/08/17
- Re: [PATCH] gnu: Move gtkglext from gnome to gtk., Efraim Flashner, 2016/08/20
- Re: [PATCH] gnu: Move gtkglext from gnome to gtk., ng0, 2016/08/22