Re: torbrowser

2018-03-07 16:32 GMT+01:00 Christopher Lemmer Webber : > ng0 writes: > > > The maintainer of the ebuild for Gentoo in the torbrowser-overlay > > just gave me the last missing pieces of information for building > torbrowser. > > Recent commit message subjects in the upstream torbrowser repository >

Re: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0")

Sure! >From ef0dcd5a84c4f8e4331fb8f07a4e1709a577eb31 Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Wed, 7 Mar 2018 18:31:22 -0600 Subject: [PATCH 3/4] gnu: Add ghc-cheapskate-0.1.0.5. * gnu/packages/idris.scm (ghc-cheapskate-0.1.0.5): New variable. --- gnu/packages/idris.scm | 19

Re: Language tag for traditional Chinese

Hello, Alex Vong skribis: > Tobias Geerinckx-Rice writes: > >> Ludo', Alex, >> >> On 2018-03-05 9:45, l...@gnu.org wrote: The locale should be zh_TW (for Taiwan), zh_HK (for Hong Kong) and zh_mo (for Macau). Should I use a let to avoid duplication? >>> >>> As long as the above se

Re: quirky behaviour of “guix environment”

Heya, Ricardo Wurmus skribis: > Aside from this issue, I find it worrying that the graft for glibc does > not end up in the environment. This is a serious problem for those > who use “guix environment” on RHEL 6. As you reported on IRC, the problem turned out to be that ‘glibc-final’ was not b

Re: Language tag for traditional Chinese

Hello, On Tue, Mar 06, 2018 at 08:35:46PM +0800, Alex Vong wrote: > I also want to add tranditional Chinese translation to guix in the > future (after I figure out how to use handwriting recognition). I think > I will still use the zh_TW since I think it is an established convention > for distro.

Re: torbrowser

ng0 writes: > The maintainer of the ebuild for Gentoo in the torbrowser-overlay > just gave me the last missing pieces of information for building torbrowser. > Recent commit message subjects in the upstream torbrowser repository > make me assume there will be no issues for integration into Guix m

Re: Where to queue patches for staging? (was: Is staging open again?)

Hartmut Goebel writes: > Am 06.03.2018 um 18:03 schrieb Marius Bakke: >> Staging is nearly fully built, so it will have to wait until next round. >> Generally, branches 'close' once a Hydra evaluation starts. Check in >> here for progress: . > > This sou

Re: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0")

Hi Alex, > My mistake, here's the patch. Let me know if this should be broken up > further. > > From f31cd301804b6fc3dbf345a9e37d20814cd407ae Mon Sep 17 00:00:00 2001 > From: Alex ter Weele > Date: Tue, 6 Mar 2018 19:32:05 -0600 > Subject: [PATCH] gnu: idris: fix package. > > * gnu/packages/idri

Re: torbrowser

ng0 transcribed 1.7K bytes: > On 17-03-06 08:06:52, dian_ce...@zoho.com wrote: > > On Mon, 6 Mar 2017 15:14:59 + > > ng0 wrote: > > > My idea is now to just reconstruct what torproject does, from the git > > > checkout of torbrowser and eventually later fix Guix specific > > > issues and fine

Re: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0")

My mistake, here's the patch. Let me know if this should be broken up further. >From f31cd301804b6fc3dbf345a9e37d20814cd407ae Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Tue, 6 Mar 2018 19:32:05 -0600 Subject: [PATCH] gnu: idris: fix package. * gnu/packages/idris.scm (ghc-aeson-1.1.2.0,