[gentoo-dev] arb has been merged into flint

public inbox for gentoo-dev@lists.gentoo.org
 help / color / mirror / Atom feed

* [gentoo-dev] arb has been merged into flint
@ 2024-03-21 16:44 Andrey Grozin
  2024-03-21 19:12 ` Michael Orlitzky
  0 siblings, 1 reply; 2+ messages in thread
From: Andrey Grozin @ 2024-03-21 16:44 UTC (permalink / raw)
  To: gentoo-dev

sci-mathematics/arb has been merged into sci-mathematics/flint, see
https://github.com/flintlib/arb
Is it time to last-rite sci-mathematics/arb?

Andrey

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [gentoo-dev] arb has been merged into flint
  2024-03-21 16:44 [gentoo-dev] arb has been merged into flint Andrey Grozin
@ 2024-03-21 19:12 ` Michael Orlitzky
  0 siblings, 0 replies; 2+ messages in thread
From: Michael Orlitzky @ 2024-03-21 19:12 UTC (permalink / raw)
  To: gentoo-dev

On Thu, 2024-03-21 at 16:44 +0000, Andrey Grozin wrote:
> sci-mathematics/arb has been merged into sci-mathematics/flint, see
> https://github.com/flintlib/arb
> Is it time to last-rite sci-mathematics/arb?
> 

Yeah, I was waiting for flint-3.x to go stable first since arb is
stable. But until recently flint-3.x was broken by a missing pkg-config
file. It should be fixed in flint-3.1.0 added ~11 days ago.



^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2024-03-21 19:12 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-03-21 16:44 [gentoo-dev] arb has been merged into flint Andrey Grozin
2024-03-21 19:12 ` Michael Orlitzky

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox