Re: London Guix meetup

>We had a good turnout with 8 attendees. Thank you all for coming! We may >have another meetup in a month or so. Looking forward to seeing you all >again and hope to see new faces too! Thanks for organising Arun, was lovely to meet everyone and look forward to the next time, Phil.

Types and builds for mypy

Hi all Users of mypy and python will have noticed since the promotion of mypy to v0. 971 it is now neccesary to provide separate python packages containing types of non core libraries. The way we've been collecting these, outside of Guix proper, is in a single module called python-types, which

Re: Make guix use alternative substitute if one is down

Excellent - thanks for letting us know Ludo', this is really useful. From: Ludovic Courtès Sent: Saturday, 1 October 2022, 18:55 To: Philip Beadling Cc: Jacob Hrbek ; guix-devel@gnu.org Subject: Re: Make guix use alternative substitute if one is dow

Re: Make guix use alternative substitute if one is down

substitute: updating substitutes from 'https://ci.guix.gnu.org'... 0.0%guix substitute: warning: ci.guix.gnu.org: connection failed: No route to host substitute: 20,6 MB will be downloaded substitute: updating substitutes from 'https://ci.guix.gnu.org'... 0.0% substit

Who owns guix-mirror?

Hi all, http://github.com/guix-mirror is a mirror for the Guix source code. I was wondering who owns the mirror as there is no public ownership declared on github.com? Is it owned by Guix or is it run by a trusted third party, etc? Thanks!

Re: Parallel guix builds can trample?

Thanks for reply Ricardo. The source in each one will be slightly different and although I only specify commit id in the package, each package commit id will reference a different branch. To give some context, each commit id relates to a different Pull Request branch. After my integration sour