Re: Port Guix to my Apple Aluminum PowerBook G4

On Wed, Feb 12, 2020 at 06:49:59PM +, Scott C. MacCallum wrote: > From: Carlos Sánchez de La Lama > Subject: Re: [PATCH] gnu: bootstrap-tarballs: Cross-compile for > powerpc-linux-gnu. > Date: Tue, 29 Nov 2016 08:38:17 +0100 > User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) >

Re: [gnu-soc] [VERY URGENT] GNU ideas for GSOC 2020

Hi there. > For each project idea, we need: > > - Name of the GNU program. > Example: GNU poke. > > - Summary of the project/idea. > Example: DWARF to Poke translator > > - Little paragraph explaining the project/idea. > > - Skills required. >

Re: [Proposal] The Formal Methods in GNU Guix Working Group

Hi Guix, On +2020-02-12 15:16:47 +0100, zimoun wrote: > Dear, > > On Wed, 12 Feb 2020 at 13:03, Orians, Jeremiah (DTMB) > wrote: > > > We also have a scheme bootstrappable from nothing written in C > > https://github.com/oriansj/mes-m2 > > https://github.com/oriansj/mescc-tools-seed > > The

Re: [gnu-soc] [VERY URGENT] GNU ideas for GSOC 2020

Hello Jose, Jose E. Marchesi ezt írta (időpont: 2020. febr. 12., Sze, 19:51): > > > Hi people! > > Once again, we are applying as a mentoring organization for GSOC 2020. > At this point, we need to populate our ideas page with projects [1]. > > This should be done before this Thursday (yes

Port Guix to my Apple Aluminum PowerBook G4

From: Carlos Sánchez de La Lama Subject:Re: [PATCH] gnu: bootstrap-tarballs: Cross-compile for powerpc-linux-gnu. Date: Tue, 29 Nov 2016 08:38:17 +0100 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) --- Hi! I

Re: time-machine broken from 2019-04-07 to 2019-05-04

The error message is: --8<---cut here---start->8--- building /gnu/store/9lh33jvs123jyfpd3vqv0q2gbynsy0cx-gcc-mesboot-wrapper-4.7.4.drv... building /gnu/store/cjim33x0q1bv1ppkv3qijvr1pvsn4y0q-harfbuzz-2.4.0.tar.bz2.drv... downloading from

Re: Guix search, colors and INSIDE_EMACS

Hi, On Wed, 12 Feb 2020 at 14:39, Pierre Neidhardt wrote: > zimoun writes: > > However, I thought that it was fixed in Emacs 27. Ouch! > I tried with Guix' emacs-next and I get the same problem. Ok, I should have misread some news. :-) Well, I am not following what we are talking about.

time-machine broken from 2019-04-07 to 2019-05-04

Dear, This bug [1] shows that 1100+ commits are broken for the time machine, i.e,, guix time-machine --commit= -- will fail. The reason is the upstream in-place update of the SHA (bad practise! bouhbouh!! :-)). Upstream has released the version 2.4.0 of harfbuzz with the hash

Re: [Proposal] The Formal Methods in GNU Guix Working Group

Svante Signell writes: > On Wed, 2020-02-12 at 15:16 +0100, zimoun wrote: >> Dear, >> >> On Wed, 12 Feb 2020 at 13:03, Orians, Jeremiah (DTMB) >> wrote: >> >> > We also have a scheme bootstrappable from nothing written in C >> > https://github.com/oriansj/mes-m2 >> >

Re: [Proposal] The Formal Methods in GNU Guix Working Group

On Wed, 2020-02-12 at 15:16 +0100, zimoun wrote: > Dear, > > On Wed, 12 Feb 2020 at 13:03, Orians, Jeremiah (DTMB) > wrote: > > > We also have a scheme bootstrappable from nothing written in C > > https://github.com/oriansj/mes-m2 > > https://github.com/oriansj/mescc-tools-seed > > The term

Re: [Proposal] The Formal Methods in GNU Guix Working Group

Dear, On Wed, 12 Feb 2020 at 13:03, Orians, Jeremiah (DTMB) wrote: > We also have a scheme bootstrappable from nothing written in C > https://github.com/oriansj/mes-m2 > https://github.com/oriansj/mescc-tools-seed The term "nothing" is mitigated; i.e. "nothing" means: a booted system running a

Re: Guix search, colors and INSIDE_EMACS

zimoun writes: > However, I thought that it was fixed in Emacs 27. Ouch! > > >> commit: >> ]8;;https://git.savannah.gnu.org/cgit/guix.git/commit/?id=232f344f9b9dc775fe8f9c7db2e45ba20431b071\232f344f9b9dc775fe8f9c7db2e45ba20431b071]8;;\ I tried with Guix' emacs-next and I get the same

Re: [Proposal] The Formal Methods in GNU Guix Working Group

> I'm interested on this topic and I will try to help as much as I can. Good > The original idea of Brett is very interesting. In my case I would do the > base compiler implemented in C and using yacc (for example) to implement the > grammar. > But it won't make sense in a community like Guix

Re: Cross-compilation broken on canonical packages.

Hello, > The only downside will be potentially an extra glibc download/build to > build the locale set, but that’s probably OK. > > WDYT? I think you're right! Pushed it as f30d84d32db0f4f6cb84e139868e1727a7dc0a51 on core-updates. Now the good news is that we are one patch away from having

Re: Fix installer restart.

Hey, > Did you make sure that: > > make check-system TESTS=installed-os > > still passes? Yup, still working :) In the meantime, while testing those patches, I noticed that: * If you edit the final operating-system configuration with a syntax error, start the install, then come back to the

[GitHub] [GitHub API] Deprecation notice for authentication via URL query parameters

Hello Guix! Just used `guix refresh enchive` and received this email from github: > On February 12th, 2020 at 09:19 (UTC) your personal access token (guix > refresh) using GNU Guile was used as part of a query parameter to access an > endpoint through the GitHub API: >

Re: [rb-general] Quick reproducible test for GNU Guix

Ludovic Courtès writes: >> Eventually, I'd like to do more systematic test of guix packages, with >> published logs per-package, rather than whatever I happened to build on >> the system so far, but this was a quick start to help flesh out ideas >> for feature requests to "guix challenge" to

Re: Mumi service

Ricardo Wurmus writes: > Ludovic Courtès writes: > >> Hi! >> >> Ricardo Wurmus skribis: >> >>> Ludovic Courtès writes: >> >> [...] >> However, the currently packaged snapshot crashes when trying to retrieve information about a bug: --8<---cut