Re: RISC-V is giving away developer boards

$99 boards with 1GB RAM. Getting there! https://liliputing.com/2021/05/nezha-is-a-99-single-board-pc-with-a-risc-v-processor.html On Tue, May 04, 2021 at 08:53:05PM +, Ekaitz Zarraga wrote: > > > > And if someone EU-based is interested to work full time for 6 months > > we should apply for

Re: Scala package

I'll think about that. Note that we already have Groovy, as it's properly bootstrapped :) Le 20 mai 2021 15:09:08 GMT-04:00, Shyam Saran a écrit : >Many people want to move all their development work on guix > >example android sdk app development, yes scala, gradle, kotlin, groovy >etc >(even

Re: [PATCH RFC 0/4] Getting rid of input labels?

Ludovic Courtès schreef op do 20-05-2021 om 16:58 [+0200]: > Hello Guix! > > Here’s a proposal for a soft revolution: getting rid of input labels > in package definitions. Instead of writing: [...] > > one can write: > > (native-inputs (list autoconf automake pkg-config guile-3.0)) >

Re: Scala package

Many people want to move all their development work on guix example android sdk app development, yes scala, gradle, kotlin, groovy etc (even blockstack, ethereum) required to be packaged As many of you, and Julien trying this. So more than contributing code, please provide a blog post from

Re: [PATCH RFC 0/4] Getting rid of input labels?

Hello, On Thu, May 20, 2021 at 5:03 PM Ludovic Courtès wrote: > Instead of writing: > > (native-inputs > `(("autoconf" ,autoconf) >("automake" ,automake) >("pkg-config" ,pkg-config) >("guile" ,guile-3.0))) > > one can write: > > (native-inputs (list autoconf

[PATCH RFC 4/4] DRAFT lint: Add 'input-labels' checker.

DRAFT: Good idea? If yes, add tests and doc. * guix/lint.scm (check-input-labels): New procedure. (%local-checkers): Add 'input-labels' checker. --- guix/lint.scm | 35 +++ 1 file changed, 35 insertions(+) diff --git a/guix/lint.scm b/guix/lint.scm index

[PATCH RFC 1/4] records: Support field sanitizers.

* guix/records.scm (make-syntactic-constructor): Add #:sanitizers. [field-sanitizer]: New procedure. [wrap-field-value]: Honor F's sanitizer. (define-record-type*)[field-sanitizer]: New procedure. Pass #:sanitizer to 'make-syntactic-constructor'. * tests/records.scm ("define-record-type* &

[PATCH RFC 2/4] DRAFT packages: Allow inputs to be plain package lists.

DRAFT: Is it a good idea? If it is, add tests and doc. * guix/packages.scm (add-input-label, sanitize-inputs): New procedures. ()[inputs, propagated-inputs, native-inputs]: Add 'sanitize' property. --- guix/packages.scm | 35 --- 1 file changed, 32 insertions(+),

[PATCH RFC 3/4] DRAFT gnu: Change inputs of core packages to plain lists.

This is transparent: the resulting derivations are unchanged. * gnu/packages/base.scm (grep, sed, tar, patch, diffutils) (coreutils, gnu-make, make-glibc-utf8-locales): Change input fields to plain package lists. * gnu/packages/guile.scm (guile-1.8, guile-json-1, guile-json-3) (guile-gdbm-ffi,

[PATCH RFC 0/4] Getting rid of input labels?

Hello Guix! Here’s a proposal for a soft revolution: getting rid of input labels in package definitions. Instead of writing: (native-inputs `(("autoconf" ,autoconf) ("automake" ,automake) ("pkg-config" ,pkg-config) ("guile" ,guile-3.0))) one can write:

Re: Freenode Administration

Hi Bone, Bone Baboon 写道： Will Guix continue to use Freenode? No. #guix is now on Libera Chat[0], the new name of what was ‘Freenode’ before yesterday's hostile takeover of the freenode.net infra. I updated the docs and the Web site yesterday. It probably took a while to refresh. Many

Re: Freenode Administration

Bone Baboon writes: > # IRC alternatives / compliments > > Some criteria that I have come up with are: > * Free software > * Can be used without a graphical user interface as many GPUs are not > compatible with Linux-libre and can not run Xorg or Wayland window > managers / desktops. > * Peer

Re: Freenode Administration

Hello, On Wed, May 19, 2021 at 01:54:45PM -0400, Bone Baboon wrote: > Will Guix continue to use Freenode? > > Will Guix create #guix channels on other IRC networks? (Several of the > resignation letters refer to ) The channel #guix will probably continue to exist on