Re: Haskell updates: GHC 9 and Stackage 19

2022-05-02 Thread Lars-Dominik Braun
Hi zimoun, > In the light of «‘staging’ branch is open!» [1], it could be nice! :-) there’s no way we’ll get this done by your proposed date May 8th. Last time it took me two weeks full time to update everything. I don’t want to delay the merge of staging for this. > About the importer, I do not

Re: Improving importers best investment for growing gnu/packages/

2022-05-02 Thread zimoun
Hi, On Tue, 29 Mar 2022 at 10:50, Brendan Tildesley wrote: > Therefore I'm working on making use of > https://github.com/rust-lang/crates.io-index to fully import base definitions > all required crates rather than pulling metadata from the internet with each > refresh. >From my point of

Re: Status of KDE Plasma

2022-05-02 Thread Hartmut Goebel
Am 01.05.22 um 23:13 schrieb Anthony Wang: I also found the wip-kde-plasma branch in the Guix Git repository has some made some progress too. However, this branch has not been committed to in more than a year and only supports KDE 5.19. This branch intentionally is on 5.19, as the Readme

Re: Status of KDE Plasma

2022-05-02 Thread Hartmut Goebel
Am 02.05.22 um 11:14 schrieb Hartmut Goebel: Basically there are package definitions for most of the Plasma packages (as of 5.19), kwin, etc. One of the files has a list of state per package. Anyhow I failed to make Plasma start the actual desktop. To emphasize this: Packaging the Plasma

Re: Build failure of extra-cmake-modules 5.91.0 (was: Status of KDE Plasma)

2022-05-02 Thread Andreas Enge
Hello, there is also this line: Am Mon, May 02, 2022 at 02:03:45AM +0800 schrieb Zhu Zihao: > Could not set up the appstream test. appstreamcli is missing. Maybe this is the real error, and a dependency is missing? We do have a package called appstream in Guix, and it contains the binary

[zimoun] Re: Viewing derivation output in the store

2022-05-02 Thread zimoun
Hum, I guess, I have screwed up the reply’s header… Anyway! Start of forwarded message From: zimoun To: Ludovic Courtès Subject: Re: Viewing derivation output in the store Date: Fri, 29 Apr 2022 11:41:17 +0200 Hi, On Thu, 28 Apr 2022 at 09:30, Ludovic

Re: Status of KDE Plasma

2022-05-02 Thread Hartmut Goebel
Hi, glad to see someone to pick up this task. Am 01.05.22 um 05:06 schrieb Anthony Wang: I have a few questions: What is the current status of KDE Plasma on Guix? And also, how can I help or contribute? You can find the current state of Plasma in the „wip-kde-plasma” branch

Re: Updating mumi on berlin

2022-05-02 Thread zimoun
Hi Arun, On Wed, 27 Apr 2022 at 16:44, Arun Isaac wrote: > Yes, with the update, Mumi will have a GraphQL API. GraphQL APIs are > more flexible than traditional REST APIs. See https://graphql.org/ for > more. Is the update of Mumi done? Well, this GraphQL API could ease the current workflow,

Re: phrasing of project vision

2022-05-02 Thread Maxime Devos
Joshua Branson schreef op vr 15-04-2022 om 09:56 [-0400]: > +* Features scheduled for 2.0 > +- technical Guix System users can for GNU/Hurd Guix System on real hardware. > +- Guix System installer supports guix home > +- graphical (possibly gtk-based) front-end to guix cli > + Can we move over

Re: Reproducibility of "core" packages in GNU Guix

2022-05-02 Thread zimoun
Hi Vagrant, Cool to see these reports. On Mon, 02 May 2022 at 06:11, Vagrant Cascadian wrote: > $ guix challenge --diff=none $(cat guix-base-set) > > /gnu/store/8gmqvwf0ccqfyimficcnhxvrykwx6y8g-linux-libre-5.17.5 contents > differ: > no local build for >

Re: Reproducibility of "core" packages in GNU Guix

2022-05-02 Thread Vagrant Cascadian
On 2022-05-02, zimoun wrote: > On Mon, 02 May 2022 at 06:11, Vagrant Cascadian > wrote: >> $ guix challenge --diff=none $(cat guix-base-set) ... >> The fact that the guix and guile packages do not build reproducibly is a >> little disappointing as they're both so central to guix itself; I >>

Re: Let’s meet in person in Paris, Sept. 16–18!

2022-05-02 Thread Tanguy LE CARROUR
Hi Guix! Quoting Ludovic Courtès (2022-04-14 16:08:46) > This year is Guix’s ten year anniversary and also a time when in-person > meetings are again possible in some regions of the world, so… Simon and > myself have tentatively scheduled an in-person meeting in Paris, France, > from September

Re: Finding a “good” OpenPGP key server

2022-05-02 Thread Tanguy LE CARROUR
Hi Philip, Quoting Philip McGrath (2022-04-29 21:11:41) > On 4/18/22 16:24, Ludovic Courtès wrote: > > Hi, > > > > Tanguy LE CARROUR skribis: > > > >> gpgv: Signature made Wed 16 Sep 2020 22:30:16 CEST > >> gpgv:using RSA key 6115012DEA3026F62A98A556D6B570842F7E7F8D > >> gpgv:

Re: Hardened toolchain

2022-05-02 Thread Maxime Devos
zimoun schreef op vr 29-04-2022 om 12:31 [+0200]: > > Stack smashing protection (SSP) may incur measurable run-time > > overhead > > though so enabling that one by default may be less consensual. > > That’s true and it could be an issue for HPC practitioners.  [...] I'm not sure if this wasn't

Re: Hardened toolchain

2022-05-02 Thread Katherine Cox-Buday
zimoun writes: > On Tue, 29 Mar 2022 at 12:15, Ludovic Courtès wrote: > >> Stack smashing protection (SSP) may incur measurable run-time >> overhead though so enabling that one by default may be less >> consensual. > > That’s true and it could be an issue for HPC practitioners. However, >

Re: Status of KDE Plasma

2022-05-02 Thread phodina
Hi, I'll send my updated patches on Friday. Those are rebased on Brendan's updates. Petr Original Message On May 1, 2022, 9:32 PM, kiasoc5 wrote: > Brendan Tildesley and Petr Hodina (ccd) have made great progress so far: > https://issues.guix.gnu.org/50862 > > Brendan's

Re: Autotools-generated 'configure' & 'Makefile.in' considered binaries?

2022-05-02 Thread zimoun
Hi, On Tue, 05 Apr 2022 at 14:06, Ludovic Courtès wrote: >> Changing all pre-existing packages, maybe. But doing this for new >> packages (reducing review effort) and perhaps when a package is updated >> (for purity) should be feasible I think? Then gradually things would >> improve and

Reproducibility of "core" packages in GNU Guix

2022-05-02 Thread Vagrant Cascadian
On 2022-04-27, Vagrant Cascadian wrote: > Lately, I've been trying to get a handle on the status of the really > core packages in Debian ... > I'd also be really curious to hear about the status of similar package > sets in other distros! With my metaphorical guix hoodie[1] on... $ guix describe

Re: Hardened toolchain

2022-05-02 Thread Maxime Devos
zimoun schreef op ma 02-05-2022 om 19:41 [+0200]: > > (*) In my case, this is not about supercomputers or computer > > clusters, but about having software run fast enough on the hardware > > that is available.  In some situations, that's a fancy > > supercomputer, but often a simple laptop can do

Re: Let’s meet in person in Paris, Sept. 16–18!

2022-05-02 Thread Tobias Platen
I'm not sure, but most likely I want to participiate in this conference. Then I will present the Guix Gaming Service,  on which I am currently working and the proposed Guix Deck hardware. Tobias (alyx)

Re: Hardened toolchain

2022-05-02 Thread zimoun
Hi Maxime, On Mon, 02 May 2022 at 18:25, Maxime Devos wrote: > zimoun schreef op vr 29-04-2022 om 12:31 [+0200]: >> > Stack smashing protection (SSP) may incur measurable run-time >> > overhead >> > though so enabling that one by default may be less consensual. >> >> That’s true and it could be

Mumi, public-inbox and tools

2022-05-02 Thread zimoun
Hi, Recently, we discussed [1] in «public-inbox/elfeed -> Maildir bridge (was: Incentives for review)» some tips to ease the workflow dealing with the various lists and their volume. Kyle wrote some Emacs glue around public-inbox, named piem [2]. One cool feature exposed by Kyle in [1] is being