On Wed, Feb 27, 2019 at 02:18:57AM +0800, Alex Vong wrote:
> Leo Famulari writes:
>
> > On Tue, Feb 19, 2019 at 10:31:03PM +0100, Andreas Enge wrote:
> >> the package builds, but I see no need to keep it. Do you agree to remove
> >> it together with mozjs@17? The latter would require a little
Leo Famulari writes:
> On Tue, Feb 19, 2019 at 10:31:03PM +0100, Andreas Enge wrote:
>> the package builds, but I see no need to keep it. Do you agree to remove
>> it together with mozjs@17? The latter would require a little work, since
>> all other mozjs packages inherit from it. If there is
On Tue, Feb 19, 2019 at 10:31:03PM +0100, Andreas Enge wrote:
> the package builds, but I see no need to keep it. Do you agree to remove
> it together with mozjs@17? The latter would require a little work, since
> all other mozjs packages inherit from it. If there is consensus, I can
> look into
Hello,
On Mon, Feb 04, 2019 at 11:27:05PM +0100, Leo Famulari wrote:
> The package in question, mozjs 24, is no longer used by gnome-shell, or
> by any other Guix package.
>
> So, if it still fails to build, we can consider removing it.
the package builds, but I see no need to keep it. Do you
