unofficial mirror of 
 help / color / mirror / Atom feed
From: "Ludovic Courtès" <>
To: Andreas Enge <>
Subject: Re: MPFR and MPC
Date: Mon, 27 Jul 2020 12:58:52 +0200
Message-ID: <> (raw)
In-Reply-To: <20200723133621.GA25143@jurong> (Andreas Enge's message of "Thu,  23 Jul 2020 15:36:21 +0200")

Hello Andreas!  :-)

Andreas Enge <> skribis:

> mpfr just had a new release 4.1.0:
> and I am planning to make one for mpc as well.
> Should I follow some procedure for an update in Guix, or could I just push
> two commits to core-updates?

I think you could test the update on ‘core-updates’ with:

  ./pre-inst-env guix build -e '(@@ (gnu packages commencement) gcc-final)'

It’s gonna take a while, but I think we’d rather be safe than sorry
given that these two libraries underpin the toolchain chain (sic).

If you need the new versions right away, you can also add them as extra
package definitions on ‘master’.


  reply	other threads:[~2020-07-27 10:59 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-07-23 13:36 Andreas Enge
2020-07-27 10:58 ` Ludovic Courtès [this message]
2020-07-28 12:57   ` Andreas Enge
2020-07-28  9:37 ` Bengt Richter
2020-07-28 10:00   ` zimoun

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

  List information:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

unofficial mirror of 

This inbox may be cloned and mirrored by anyone:

	git clone --mirror guix-devel/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 guix-devel guix-devel/ \
	public-inbox-index guix-devel

Example config snippet for mirrors.
Newsgroups are available over NNTP:

AGPL code for this site: git clone