From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id D5F92158041 for ; Thu, 21 Mar 2024 16:44:40 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 0C05DE29B6; Thu, 21 Mar 2024 16:44:36 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 8EF43E29A9 for ; Thu, 21 Mar 2024 16:44:35 +0000 (UTC) Received: by smtp.gentoo.org (Postfix, from userid 2212) id 489C7335D77; Thu, 21 Mar 2024 16:44:34 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by smtp.gentoo.org (Postfix) with ESMTP id 47280335D6D for ; Thu, 21 Mar 2024 16:44:34 +0000 (UTC) Date: Thu, 21 Mar 2024 16:44:34 +0000 (UTC) From: Andrey Grozin To: gentoo-dev@lists.gentoo.org Subject: [gentoo-dev] arb has been merged into flint Message-ID: Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@lists.gentoo.org Reply-to: gentoo-dev@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply MIME-Version: 1.0 Content-Type: text/plain; format=flowed; charset=US-ASCII X-Archives-Salt: 15417b5c-1d6e-4052-8819-5cf80d422d48 X-Archives-Hash: e81de8e4a36209e6e41b662f02f6c5b8 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